Sell, buy or rent Natasha Sharygina textbooks

9783319106229-3319106228-Validation of Evolving Software
9783319106229-3319106228-Validation of Evolving Software

Validation of Evolving Software

by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
ISBN-13: 9783319106229
ISBN-10: 3319106228
Edition: 2015
Publisher: Springer
Format: Hardcover 228 pages
Sell Shop now at Amazon eBook from $29.70
9783031308222-3031308220-Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
9783031308222-3031308220-Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

by Sriram Sankaranarayanan, Natasha Sharygina
ISBN-13: 9783031308222
ISBN-10: 3031308220
Edition: 1st ed. 2023
Publication date: 2023
Publisher: Springer
Format: Paperback 732 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.