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 Laser Pulse Heating of Surfaces and Thermal Stress Analysis by

bigCover of the book Emotional Banking by

bigCover of the book International Organization in the Anarchical Society by

bigCover of the book Lean Manufacturing in the Developing World by

bigCover of the book Narrating Citizenship and Belonging in Anglophone Canadian Literature by

bigCover of the book Handbook of Floating-Point Arithmetic by

bigCover of the book Bee Products - Chemical and Biological Properties by

bigCover of the book Unusual Diseases with Common Symptoms by

bigCover of the book Particle Image Velocimetry by

bigCover of the book Understanding Veganism by

bigCover of the book Advances in Social and Occupational Ergonomics by

bigCover of the book Chronic Postsurgical Pain by

bigCover of the book Thermal Cracking of Massive Concrete Structures by

bigCover of the book Interactive Theorem Proving by

bigCover of the book Coronary Artery CTA 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