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 The Theoretical and Practical Dimensions of Regionalism in East Asia by

bigCover of the book Networks and New Services: A Complete Story by

bigCover of the book Business Modeling and Software Design by

bigCover of the book The Sugarcane Complex in Brazil by

bigCover of the book Algorithmic Advances in Riemannian Geometry and Applications by

bigCover of the book Viral Infections in Children, Volume II by

bigCover of the book Quantitative Psychology by

bigCover of the book Low and Lower Fertility by

bigCover of the book EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation VI by

bigCover of the book An Introduction to Criminological Theory and the Problem of Causation by

bigCover of the book After–sales Service of Engineering Industrial Assets by

bigCover of the book Hydrodynamics of Planing Monohull Watercraft by

bigCover of the book Metal Response in Cupriavidus metallidurans by

bigCover of the book Pulmonary Dysfunction and Disease 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