Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, 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 Computer Security by

bigCover of the book Advanced Computing Strategies for Engineering by

bigCover of the book Kenya and Britain after Independence by

bigCover of the book Central European Functional Programming School by

bigCover of the book Corporatizing Rural Education by

bigCover of the book Cancer and Fertility by

bigCover of the book Speaking in Public About Science by

bigCover of the book Health Inequities Related to Intimate Partner Violence Against Women by

bigCover of the book Beginning Data Science with R by

bigCover of the book Current Research in Bilingualism and Bilingual Education by

bigCover of the book Stereoselective Syntheses of Tetrahydropyrans by

bigCover of the book Improving Societal Resilience to Disasters by

bigCover of the book Searching for Dark Matter with the ATLAS Detector by

bigCover of the book Motivation of Workers on Microtask Crowdsourcing Platforms by

bigCover of the book Communication Technologies for Vehicles 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