Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Where to buy (1) Characteristics
Sponsored
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
WHSmith
44.99 GBP
Price updated on: 19-05-2026 21:25:40
View product deal

General

Brand
Springer

Characteristics

Similar products

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
View Product
Programming Computer Vision with Python: Techniques and Libraries for Imaging and Retrieving Information
Programming Computer Vision with Python: Techniques and Libraries for Imaging and Retrieving Information
View Product
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
View Product
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
View Product
Programming Computer Vision with Python: Techniques and Libraries for Imaging and Retrieving Information
Programming Computer Vision with Python: Techniques and Libraries for Imaging and Retrieving Information
View Product
A Human's Guide to Machine Intelligence
A Human's Guide to Machine Intelligence
View Product
Menu