Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, 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 Innovations in Enterprise Information Systems Management and Engineering by

bigCover of the book The Initiation of DNA Replication in Eukaryotes by

bigCover of the book Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes by

bigCover of the book Model Checking Software by

bigCover of the book Advanced Data Analysis in Neuroscience by

bigCover of the book Evolutionary Global Optimization, Manifolds and Applications by

bigCover of the book Origin and Evolution of Biodiversity by

bigCover of the book Plasma Cell Dyscrasias by

bigCover of the book PET/CT in Melanoma by

bigCover of the book Morton Deutsch: A Pioneer in Developing Peace Psychology by

bigCover of the book Dynamic Behavior of Materials, Volume 1 by

bigCover of the book New Religions and State's Response to Religious Diversification in Contemporary Vietnam by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Virtual, Augmented and Mixed Reality 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