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 Health, Science, and Place by

bigCover of the book Basic Principles of Cardiovascular MRI by

bigCover of the book Global Entrepreneurship and Development Index 2016 by

bigCover of the book Introduction to Fractional and Pseudo-Differential Equations with Singular Symbols by

bigCover of the book Automated Deduction - CADE-25 by

bigCover of the book Bond Graphs for Modelling, Control and Fault Diagnosis of Engineering Systems by

bigCover of the book Esophageal Diseases by

bigCover of the book Atrial Fibrillation and Percutaneous Coronary Intervention by

bigCover of the book Capacitated Planned Maintenance by

bigCover of the book Women's Entrepreneurship in Iran by

bigCover of the book Advances in Cryptology – CRYPTO 2017 by

bigCover of the book Stability of Functional Equations in Banach Algebras by

bigCover of the book Agricultural Development in the World Periphery by

bigCover of the book Ground-penetrating Radar and Magnetometry for Buried Landscape Analysis 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