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 Innovation in Clusters by

bigCover of the book Path Coupling and Aggregate Path Coupling by

bigCover of the book Phytotoxicity of Nanoparticles by

bigCover of the book Modelling and Intelligent Optimisation of Production Scheduling in VCIM Systems by

bigCover of the book The Future of Digital Business Innovation by

bigCover of the book Stabilization of Elastic Systems by Collocated Feedback by

bigCover of the book Homological Methods, Representation Theory, and Cluster Algebras by

bigCover of the book Entrepreneurial Ecosystems by

bigCover of the book Virtualized Wireless Networks by

bigCover of the book Convergence Estimates in Approximation Theory by

bigCover of the book Multilevel Network Analysis for the Social Sciences by

bigCover of the book The Reality for Agricultural Economics Within the European Union by

bigCover of the book KI 2017: Advances in Artificial Intelligence by

bigCover of the book Fracture, Fatigue, Failure and Damage Evolution, Volume 8 by

bigCover of the book Control Systems and Mathematical Methods in Economics 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