Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedi - - Books - Springer International Publishing AG - 9783031906527 - May 1, 2025
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedi

Price
$ 44.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 6 - 12

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

Also available as:

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 1, 2025
ISBN13 9783031906527
Publishers Springer International Publishing AG
Pages 387
Dimensions 155 × 234 × 24 mm   ·   616 g
Language English  
Editor Gurfinkel, Arie
Editor Heule, Marijn

More from the same publisher