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 Deterministic Kinetics in Chemistry and Systems Biology by

bigCover of the book Bioactive Polysaccharide Materials for Modern Wound Healing by

bigCover of the book Teacher Education for the Changing Demographics of Schooling by

bigCover of the book Strong and Weak Approximation of Semilinear Stochastic Evolution Equations by

bigCover of the book The Two-Photon Decay of the 11-/2 Isomer of 137Ba and Mixed-Symmetry States of 92,94Zr and 94Mo by

bigCover of the book Narrow and Smart Textiles by

bigCover of the book Finance Unleashed by

bigCover of the book Antiphospholipid Syndrome by

bigCover of the book Gendering Israel's Outsourcing by

bigCover of the book Selected Exercises in Particle and Nuclear Physics by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology Vol. 169 by

bigCover of the book Multilevel Selection and the Theory of Evolution by

bigCover of the book Production and Efficiency Analysis with R by

bigCover of the book Global Thoughts, Local Designs 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