Free Preview of Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
$90.99
Price reduced from
$112.61
to
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 null points and enjoy extra savings with plum+. Learn more
Overview
Publisher: Springer International Publishing
Shipping dimensions: null
ISBN: 9783030888855
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.
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
/en-ca/automated-technology-for-verification-and-analysis-19th-international-symposium-atva-2021-gold-coast-qld-australia-october-18-22-2021-proceedings/32DDDAD1-F836-426F-A89B-A2741616E29A.html
32DDDAD1-F836-426F-A89B-A2741616E29A
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
https://dynamic.indigoimages.ca/v1/books/books/3030888843/1.jpg
124.5
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/3bed62c2-6bc4-4200-b3f4-cd81e6ff37f1/300/300/False/image.jpg
112.61