Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 13993)
ISBN-13: 9783031308222
ISBN-10: 3031308220
Edition: 1st ed. 2023
Binding: Paperback
Publisher: Springer
Published: 2023-04-22
Best Prices for this Book in New Condition
Best Used Prices
As an Amazon Associate we earn from qualifying purchases.