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 Cyber Security Intelligence and Analytics by

bigCover of the book Culture, Organizations, and Work by

bigCover of the book Distributed, Ambient and Pervasive Interactions: Technologies and Contexts by

bigCover of the book Acoustics, Information, and Communication by

bigCover of the book Gravity, Geoid and Height Systems by

bigCover of the book Induction Soundings of the Earth's Mantle by

bigCover of the book Physics of Wurtzite Nitrides and Oxides by

bigCover of the book Stars, Myths and Rituals in Etruscan Rome by

bigCover of the book Topics in Banach Space Theory by

bigCover of the book Logic Programming and Nonmonotonic Reasoning by

bigCover of the book Nutritional Influences on Bone Health by

bigCover of the book Computational Methods and Experimental Testing In Mechanical Engineering 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