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 Enterprise Interoperability VII by

bigCover of the book Interdisciplinary Bayesian Statistics by

bigCover of the book Landslide Science for a Safer Geoenvironment by

bigCover of the book Wealth, Income Inequalities, and Demography by

bigCover of the book Personalised Medicine by

bigCover of the book The Phenomenological Critique of Mathematisation and the Question of Responsibility by

bigCover of the book Advances in Numerical Simulation in Physics and Engineering by

bigCover of the book Declarative Programming and Knowledge Management by

bigCover of the book Invariance Entropy for Deterministic Control Systems by

bigCover of the book The Boundary Element Method in Geophysical Survey by

bigCover of the book The Road to Universal Logic by

bigCover of the book Integrating Business Process Models and Rules by

bigCover of the book The New Generation of Computable General Equilibrium Models by

bigCover of the book From Creep Damage Mechanics to Homogenization Methods by

bigCover of the book Tourism in the City 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