Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, 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 Neutrino Astrophysics with the ANTARES Telescope by

bigCover of the book Linear Response Theory by

bigCover of the book Numerical Simulation and Experimental Investigation of the Fracture Behaviour of an Electron Beam Welded Steel Joint by

bigCover of the book Gas Transport in Solid Oxide Fuel Cells by

bigCover of the book Big Data-Enabled Nursing by

bigCover of the book Jerome S. Bruner beyond 100 by

bigCover of the book Ionization and Plasma Dynamics of Single Large Xenon Clusters in Superintense XUV Pulses by

bigCover of the book Design Computing and Cognition '14 by

bigCover of the book MVT: A Most Valuable Theorem by

bigCover of the book Bioequivalence Requirements in Various Global Jurisdictions by

bigCover of the book Understanding Acoustics by

bigCover of the book Quantitative Evaluation of Systems by

bigCover of the book Geometric Theory of Information by

bigCover of the book Towards Tradable Water Rights by

bigCover of the book Semigroups of Operators -Theory and Applications 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