Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Automated Technology for Verification and Analysis

More books from Springer International Publishing

bigCover of the book Quantum Aspects of Black Holes by

bigCover of the book Topic Detection and Classification in Social Networks by

bigCover of the book Image Analysis and Processing - ICIAP 2017 by

bigCover of the book Drafting the Irish Constitution, 1935–1937 by

bigCover of the book Discrete Geometry for Computer Imagery by

bigCover of the book Postcolonial Poetics by

bigCover of the book Data Assimilation by

bigCover of the book Scientific Computing by

bigCover of the book White Coat Tales by

bigCover of the book Neoliberal Bio-Economies? by

bigCover of the book Soil Dynamics and Soil-Structure Interaction for Resilient Infrastructure by

bigCover of the book Hemodynamic Monitoring in the ICU by

bigCover of the book Halophytes: An Integrative Anatomical Study by

bigCover of the book Direction of Time by

bigCover of the book Dynamics of Underactuated Multibody Systems by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy