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 Trust in Nuclear Disarmament Verification by

bigCover of the book Intuitionistic Fuzzy Calculus by

bigCover of the book Language, Music and Computing by

bigCover of the book Organic Public Engagement by

bigCover of the book Nonlinear Dynamics and Complexity by

bigCover of the book Electro-Chemo-Mechanics of Solids by

bigCover of the book Practical Point-of-Care Medical Ultrasound by

bigCover of the book Islam, Securitization, and US Foreign Policy by

bigCover of the book Artificial Intelligence Applications and Innovations by

bigCover of the book Applications and Usability of Interactive TV by

bigCover of the book Smart Intelligent Aircraft Structures (SARISTU) by

bigCover of the book Controversies in Caring for Women with Epilepsy by

bigCover of the book Oral Mucosa in Health and Disease by

bigCover of the book Machine Learning in Medicine - Cookbook Two by

bigCover of the book Financial and Accounting Principles in Islamic Finance 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