Limit this search to....

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
Contributor(s): Păsăreanu, Corina S. (Author)
ISBN: 3031014235     ISBN-13: 9783031014239
Publisher: Springer
OUR PRICE:   $26.59  
Product Type: Paperback
Published: May 2020
Qty:
Temporarily out of stock - Will ship within 2 to 5 weeks
Additional Information
BISAC Categories:
- Computers | Software Development & Engineering - Tools
- Technology & Engineering
- Mathematics
Physical Information: 65 pages