Sell, buy or rent Natasha Sharygina textbooks

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

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