Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, 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 Christian Zionism and English National Identity, 1600–1850 by

bigCover of the book Modeling Steel Deformation in the Semi-Solid State by

bigCover of the book Sociability, Social Capital, and Community Development by

bigCover of the book Image-Guided Stereotactic Radiosurgery by

bigCover of the book Lady Gregory and Irish National Theatre by

bigCover of the book Cross-cultural Dialogue on the Virtues by

bigCover of the book Trends in Breast Cancer Prevention by

bigCover of the book Vertical Root Fractures in Dentistry by

bigCover of the book Language Policy and Linguistic Justice by

bigCover of the book Predicting User Performance and Errors by

bigCover of the book Recent Developments in Mechatronics and Intelligent Robotics by

bigCover of the book Novel (Trans)dermal Drug Delivery Strategies by

bigCover of the book A Practical Guide to Biomedical Research by

bigCover of the book Optical Properties of Bismuth-Based Topological Insulators by

bigCover of the book Computer Vision Analysis of Image Motion by Variational Methods 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