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 A Philosophy of Schooling by

bigCover of the book Dynamic Systems for Everyone by

bigCover of the book Guide to Competitive Programming by

bigCover of the book Heads, Jaws, and Muscles by

bigCover of the book Tercentenary Essays on the Philosophy and Science of Leibniz by

bigCover of the book Thermo-Magnetic Systems for Space Nuclear Reactors by

bigCover of the book Achieving Equity and Quality in Higher Education by

bigCover of the book Genetic Technology and Food Safety by

bigCover of the book Particle Image Velocimetry by

bigCover of the book Context-Aware Systems and Applications by

bigCover of the book Mathematical Analysis of Complex Cellular Activity by

bigCover of the book The Ethics of Animal Labor by

bigCover of the book Augmented Reality, Virtual Reality, and Computer Graphics by

bigCover of the book SpaceX's Dragon: America's Next Generation Spacecraft by

bigCover of the book Early Modern Philosophers and the Renaissance Legacy 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