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 The Future in Learning Science: What’s in it for the Learner? by

bigCover of the book Amnesia and the Nation by

bigCover of the book School Effectiveness and Educational Management by

bigCover of the book Trauma Responsive Child Welfare Systems by

bigCover of the book Advanced Undergraduate Quantum Mechanics by

bigCover of the book Euro-Par 2018: Parallel Processing by

bigCover of the book Probability and Statistics for Computer Science by

bigCover of the book Rheology and Non-Newtonian Fluids by

bigCover of the book New Advances in the Internet of Things by

bigCover of the book Organic Cation Transporters by

bigCover of the book The Serpin Family by

bigCover of the book Handbook of the Sociology of Racial and Ethnic Relations by

bigCover of the book Regional Nerve Blocks in Anesthesia and Pain Therapy by

bigCover of the book In-Vitro Diagnostic Devices by

bigCover of the book Discrete Biochronological Time Scales 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