Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint ... (Lecture Notes in Computer Science, 16505)

Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint ... (Lecture Notes in Computer Science, 16505)

Springer

Pages: 708, Paperback, Springer

Compare prices (4 shops)

shop Price Action
28,66 GBP Go to shop
29,99 GBP Go to shop
31,82 GBP Go to shop
32,37 GBP Go to shop

Similar products