ISBN 9783031308222 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Sankaranarayanan, Sriram Sharygina, Natasha
Springer /2023-04-22 Paperback / 732 Pages
isbn-10: 3031308220 / isbn-13: 9783031308222
