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 Advances in Mathematics and Applications by

bigCover of the book The Eurasian Wheat Belt and Food Security by

bigCover of the book Security-Aware Device-to-Device Communications Underlaying Cellular Networks by

bigCover of the book Social, Cultural, and Behavioral Modeling by

bigCover of the book The Neurological Emergence of Epilepsy by

bigCover of the book Pattern Recognition and Image Analysis by

bigCover of the book Up-to-Date Waste-to-Energy Approach by

bigCover of the book Mapping Asia: Cartographic Encounters Between East and West by

bigCover of the book Natural Gas Hydrate - Arctic Ocean Deepwater Resource Potential by

bigCover of the book Towards Intellectual Property Rights Management by

bigCover of the book Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory by

bigCover of the book Landslides in Sensitive Clays by

bigCover of the book Predicting Flow-Induced Acoustics at Near-Stall Conditions in an Automotive Turbocharger Compressor by

bigCover of the book New Ways and Needs for Exploiting Nuclear Energy by

bigCover of the book Cellular Imaging 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