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 A Second Chance for Europe by

bigCover of the book Energy Technology 2017 by

bigCover of the book Shadow Education as Worldwide Curriculum Studies by

bigCover of the book Managing Innovation in Highly Restrictive Environments by

bigCover of the book Advances in Conceptual Modeling by

bigCover of the book Machines, Computations, and Universality by

bigCover of the book New Perspectives on Curriculum, Learning and Assessment by

bigCover of the book Advances in Shape Memory Materials by

bigCover of the book Product Information Management by

bigCover of the book Microdomains in the Cardiovascular System by

bigCover of the book Police Brutality, Misconduct, and Corruption by

bigCover of the book Measure and Integration by

bigCover of the book Recent Developments in Metaheuristics by

bigCover of the book Mathematics as a Tool by

bigCover of the book Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things 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