Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Nonfiction, Computers, Programming, 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 Computer Aided Verification

More books from Springer International Publishing

bigCover of the book Academic Promotion for Clinicians by

bigCover of the book Surveillance, Race, Culture by

bigCover of the book Integrative Approach to Comprehensive Building Renovations by

bigCover of the book Retrying Leopold and Loeb by

bigCover of the book A Rumor about the Jews by

bigCover of the book Limiting Global Warming to Well Below 2 °C: Energy System Modelling and Policy Development by

bigCover of the book Quaternary Geomorphology in India by

bigCover of the book Evaluation of Novel Approaches to Software Engineering by

bigCover of the book Fundamentals of Sustainable Urban Renewal in Small and Mid-Sized Towns by

bigCover of the book Public History and Culture in South Africa by

bigCover of the book Languages, Design Methods, and Tools for Electronic System Design by

bigCover of the book Carbohydrates as Drugs by

bigCover of the book Advances in Soft Computing and Machine Learning in Image Processing by

bigCover of the book Unlocking the Secrets of White Dwarf Stars by

bigCover of the book Empowering Organizations 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