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 Psychosis or Mystical Religious Experience? by

bigCover of the book Trends and Advances in Information Systems and Technologies by

bigCover of the book Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments by

bigCover of the book Intelligent Transport Systems and Travel Behaviour by

bigCover of the book Compact Heat Exchangers by

bigCover of the book Geometrical Objects by

bigCover of the book Programming and Performance Visualization Tools by

bigCover of the book Fully Implicit, Coupled Procedures in Computational Fluid Dynamics by

bigCover of the book Agents and Artificial Intelligence by

bigCover of the book Shakespeare, Bakhtin, and Film by

bigCover of the book Combinatorial Algebra: Syntax and Semantics by

bigCover of the book Transactions on Pattern Languages of Programming IV by

bigCover of the book Optimization of Pharmaceutical R&D Programs and Portfolios by

bigCover of the book Emotional, Physical and Sexual Abuse by

bigCover of the book Issues in Contemporary Oil Paint 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