Paperback,
Good
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)
2024, Springer
ISBN-13:
9783031572456
See Item Details ▾
|
Bonita
HIGH
Newport Coast,
CA,
USA
|
$92.13
|