Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Nonfiction, Computers, Programming, Programming Languages, 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 Energy Use in Global Food Production by

bigCover of the book New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic by

bigCover of the book Markov Decision Processes in Practice by

bigCover of the book Probability with Applications in Engineering, Science, and Technology by

bigCover of the book Embracing Global Computing in Emerging Economies by

bigCover of the book Challenges in Mechanics of Time-Dependent Materials, Volume 2 by

bigCover of the book Foodborne Parasites by

bigCover of the book Networked Systems by

bigCover of the book Optimal Control of Stochastic Difference Volterra Equations by

bigCover of the book Computational Science and Its Applications – ICCSA 2017 by

bigCover of the book Rewriting Logic and Its Applications by

bigCover of the book Computational Methods and Clinical Applications for Spine Imaging by

bigCover of the book Modeling of Carbon Nanotubes, Graphene and their Composites by

bigCover of the book Dental Composite Materials for Direct Restorations by

bigCover of the book Echocardiographic Atlas of Adult Congenital Heart Disease 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