Skip to main content
Log In
|
Cart
Log In
|
Cart
Nightbird Books
Search form
Search
Menu
Browse Books
Events
Nightbird Recommends
Contact Us
You are here
Home
Back to top
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering) (Hardcover)
By
Corina S. Păsăreanu
$49.95
Add to Cart
Add to Wish List
Special Order
Product Details
ISBN:
9781681738567
ISBN-10:
1681738562
Publisher:
Morgan & Claypool
Publication Date:
May 13th, 2020
Pages:
75
Language:
English
Series:
Synthesis Lectures on Software Engineering
Categories
Software Development & Engineering - Quality Assurance & Tes
Software Development & Engineering - Tools
Related Editions (all)
Paperback (May 13th, 2020): $27.99
Paperback (May 13th, 2020): $29.95