Sell, buy or rent Corina S. Păsăreanu textbooks

9783319216676-3319216678-Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science, 9207)
9783319216676-3319216678-Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science, 9207)

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science, 9207)

by Daniel Kroening, Corina S. Păsăreanu
ISBN-13: 9783319216676
ISBN-10: 3319216678
Edition: 1st ed. 2015
Publication date: 2015
Publisher: Springer
Format: Paperback 487 pages
eBook from $16.50
9783031014239-3031014235-Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
9783031014239-3031014235-Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)

by Corina S. Păsăreanu
ISBN-13: 9783031014239
ISBN-10: 3031014235
Edition: 1
Publication date: 2020
Publisher: Springer
Format: Paperback 74 pages
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.