Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference Tacas 2024 Held as Pa Book 14570 (Paperback)

Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference Tacas 2024 Held as Pa Book 14570 (Paperback)

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference Tacas 2024 Held as Part of the European Joint Conferences on Theory and Practice of Software Etaps 2024 Luxembourg City Luxembourg April 6-11 2024...


Walmart

$49.99
Delivery: $null

Go to store
Items per page