Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, 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 Comparative Medicine by

bigCover of the book Impact Assessment in Tourism Economics by

bigCover of the book Interactive Collaborative Learning by

bigCover of the book Digitally Supported Innovation by

bigCover of the book Moving Target Defense for Distributed Systems by

bigCover of the book Reversible Logic Synthesis Methodologies with Application to Quantum Computing by

bigCover of the book Time Division Multiple Access For Vehicular Communications by

bigCover of the book Handbook of Deep Learning Applications by

bigCover of the book Sustainable Development in Mountain Regions by

bigCover of the book Excel 2013 for Educational and Psychological Statistics by

bigCover of the book Mutualisms and Insect Conservation by

bigCover of the book Data Science in Practice by

bigCover of the book Abuse of Dominant Position and Globalization & Protection and Disclosure of Trade Secrets and Know-How by

bigCover of the book Pattern Recognition and Information Forensics 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