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 Integration and Clustering for Sustainable Economic Growth by

bigCover of the book Extreme Inequalities in Contemporary Capitalism by

bigCover of the book Lipid Management by

bigCover of the book Biomechanics of the Human Stomach by

bigCover of the book The New Ottoman Greece in History and Fiction by

bigCover of the book Children and Sustainable Development by

bigCover of the book A Genealogical History of Society by

bigCover of the book Autophagy at the Cell, Tissue and Organismal Level by

bigCover of the book Empirical Modeling and Data Analysis for Engineers and Applied Scientists by

bigCover of the book Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems by

bigCover of the book The 1st International Conference on Advanced Intelligent System and Informatics (AISI2015), November 28-30, 2015, Beni Suef, Egypt by

bigCover of the book Gold Clusters, Colloids and Nanoparticles I by

bigCover of the book Using Comparable Corpora for Under-Resourced Areas of Machine Translation 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