Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Nonfiction, Computers, Programming, Software Development, 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 Drought Stress Tolerance in Plants, Vol 1 by

bigCover of the book Advanced Social Interaction with Agents by

bigCover of the book Requirements Engineering for Digital Health by

bigCover of the book The Language of Protest by

bigCover of the book Advances in Social Media Analysis by

bigCover of the book Transforming Engagement, Happiness and Well-Being by

bigCover of the book Integrating Information and Communication Technologies in English for Specific Purposes by

bigCover of the book L’Hôpital's Analyse des infiniments petits by

bigCover of the book Iron Acquisition by the Genus Mycobacterium by

bigCover of the book Cryptography and Coding by

bigCover of the book An Illustrated History of Health and Fitness, from Pre-History to our Post-Modern World by

bigCover of the book Geometric Optics by

bigCover of the book Development of a Cyber Physical System for Fire Safety by

bigCover of the book Judicial Activism 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