Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

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 Work of Raymond J. Carroll by

bigCover of the book Multiple Sclerosis: Bench to Bedside by

bigCover of the book Public Relations Capitalism by

bigCover of the book The Deep Metaphysics of Space by

bigCover of the book Cloud Computing and Security by

bigCover of the book Harmonic and Complex Analysis in Several Variables by

bigCover of the book Oncodynamics: Effects of Cancer Cells on the Body by

bigCover of the book The Italian Water Industry by

bigCover of the book Requirements Engineering by

bigCover of the book The Ethics of Animal Labor by

bigCover of the book On Doing Fieldwork in Palestine by

bigCover of the book Early Investigations of Ceres and the Discovery of Pallas by

bigCover of the book Heat Shock Proteins in Signaling Pathways by

bigCover of the book Korean Women, Self-Esteem, and Practical Theology 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