Free Preview of Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
$72.95
Online pricing. Prices and offers may vary in store.
Ship to me
Checking availability…
Buy now & pick up in store
Checking availability…
Find it in store
Checking availability…
Earn 365 points and enjoy extra savings with plum+. Learn more
Overview
Publisher: Springer Nature
Shipping dimensions: 9" H x 6" W x 1" L
ISBN: 9783031572456
Life stage: null
Ratings & Reviews
Others Also Bought
eBooks from Indigo are available at Kobo.com
Simply sign in or create your free Kobo account to get started. Read eBooks on any Kobo eReader or with the free Kobo App.
Why Kobo?
With over 6 million of the world’s best eBooks to choose from, Kobo offers you a whole world of reading. Go shelf-less with your library and enjoy reward points with every purchase.
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
/en-ca/tools-and-algorithms-for-the-construction-and-analysis-of-systems-30th-international-conference-tacas-2024-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2024-luxembourg-city-luxembourg-april-6-11-2024-proceedings-part-i/9FCCA46A-B4FD-47C2-AD42-8BC9214E2B62.html
9FCCA46A-B4FD-47C2-AD42-8BC9214E2B62
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
https://dynamic.indigoimages.ca/v1/books/books/3031572459/1.jpg
72.95
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/9a6aca1c-f22e-43de-8a6c-46f8f743d52a/300/300/False/image.jpg
0.0