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 Dynamical Zeta Functions and Dynamical Determinants for Hyperbolic Maps by

bigCover of the book Orbital Mechanics and Astrodynamics by

bigCover of the book Emotions in Second Language Teaching by

bigCover of the book Solar Cosmic Rays by

bigCover of the book Periglacial Preconditioning of Debris Flows in the Southern Alps, New Zealand by

bigCover of the book Electronic Democracy in Europe by

bigCover of the book North-South University Research Partnerships in Latin America and the Caribbean by

bigCover of the book Secular Evolution of Self-Gravitating Systems Over Cosmic Age by

bigCover of the book Minimally Invasive Therapies for Endocrine Neck Diseases by

bigCover of the book A Brief History of Everything Wireless by

bigCover of the book Corporate Responsibility and Digital Communities by

bigCover of the book Statistical Language and Speech Processing by

bigCover of the book The Democratic Theory of Hans-Georg Gadamer by

bigCover of the book Network and Parallel Computing by

bigCover of the book Nietzsche and Montaigne 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