Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... II (Lecture Notes in Computer Science, 14571)

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... II (Lecture Notes in Computer Science, 14571)

Product ID: 239998288 Condition: New

Sold Out
Buy in USA

Product Description

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... II (Lecture Notes in Computer Science, 14571)

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
9783031572487
Height
9.21
Length
6.14
Weight
1.26104413864
Width
0.84
NumberOfItems
1