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 Designing Learning for Tablet Classrooms by

bigCover of the book Fungal Biofilms and related infections by

bigCover of the book Over-Exploitation of Forests by

bigCover of the book We Only Talk Feminist Here by

bigCover of the book Enabling Students in Mathematics by

bigCover of the book The Age of Figurative Theo-humanism by

bigCover of the book The United Kingdom’s Defence After Brexit by

bigCover of the book Landscape Planning and Rural Development by

bigCover of the book Problems from the Discrete to the Continuous by

bigCover of the book Advances in Acoustic Emission Technology by

bigCover of the book Contagion, Isolation, and Biopolitics in Victorian London by

bigCover of the book Augmented Cognition: Intelligent Technologies by

bigCover of the book China and Africa by

bigCover of the book Liquid Crystalline Polymers 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