ISBN 9783031572456 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 14570)
Finkbeiner, Bernd Kovács, Laura
Springer /2024-04-04 Paperback / 422 Pages
isbn-10: 3031572459 / isbn-13: 9783031572456
