Sell, buy or rent Sriram Sankaranarayanan textbooks

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.