Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, - - Books - Springer Nature Switzerland AG - 9783032227515 - April 17, 2026
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings,

Price
$ 43.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 19 - 24

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 17, 2026
ISBN13 9783032227515
Publishers Springer Nature Switzerland AG
Pages 682
Dimensions 157 × 236 × 38 mm   ·   1.06 kg
Language German  
Editor Junges, Sebastian
Editor Katz, Guy

More from the same publisher