Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

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 Towards Energy Transparent Factories by

bigCover of the book Core Ethics for Health Professionals by

bigCover of the book Precision Agriculture: Technology and Economic Perspectives by

bigCover of the book Consumer Health Informatics by

bigCover of the book The Life, Science and Times of Lev Vasilevich Shubnikov by

bigCover of the book Neuroscience of Mathematical Cognitive Development by

bigCover of the book Locating the Left in Difficult Times by

bigCover of the book Design, User Experience, and Usability: Novel User Experiences by

bigCover of the book Families of Automorphic Forms and the Trace Formula by

bigCover of the book The Pre-Fabrication of Building Facades by

bigCover of the book Clinical Research Involving Pulmonary Disorders by

bigCover of the book Growth Through Innovation by

bigCover of the book Healing and Change in the City of Gold by

bigCover of the book High Calorie Diet and the Human Brain by

bigCover of the book Most-Cited Scholars in Criminology and Criminal Justice, 1986-2010 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