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 User-Centric Networking by

bigCover of the book Systematic Approaches to Argument by Analogy by

bigCover of the book Shadows of Empire in West Africa by

bigCover of the book Time-Symmetry Breaking in Turbulent Multi-Particle Dispersion by

bigCover of the book Causal Overdetermination and Contextualism by

bigCover of the book Software Technologies: Applications and Foundations by

bigCover of the book Singularities and Foliations. Geometry, Topology and Applications by

bigCover of the book Teaching and Researching the Pronunciation of English by

bigCover of the book AIDA-CMK: Multi-Algorithm Optimization Kernel Applied to Analog IC Sizing by

bigCover of the book Biophysics of Infection by

bigCover of the book The Continuum Limit of Causal Fermion Systems by

bigCover of the book Developing Modular-Oriented Simulation Models Using System Dynamics Libraries by

bigCover of the book Operational Law in International Straits and Current Maritime Security Challenges by

bigCover of the book Control and Estimation Methods over Communication Networks by

bigCover of the book Soil Testing, Soil Stability and Ground Improvement 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