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 Interdisciplinary Bayesian Statistics by

bigCover of the book Internet of Things (IoT) in 5G Mobile Technologies by

bigCover of the book Online Location of Faults on AC Cables in Underground Transmission Systems by

bigCover of the book Marine Isotope Stage 3 in Southern South America, 60 KA B.P.-30 KA B.P. by

bigCover of the book Positive Impact Investing by

bigCover of the book Introduction to Intelligent Surveillance by

bigCover of the book A Critical Examination of Ethics in Health Care and Biomedical Research by

bigCover of the book Urodynamic Testing After Spinal Cord Injury by

bigCover of the book 3D Research Challenges in Cultural Heritage II by

bigCover of the book Translating Molecules into Medicines by

bigCover of the book Advanced Concepts for Intelligent Vision Systems by

bigCover of the book Tuberculosis of the Central Nervous System by

bigCover of the book The Culture of French Revolutionary Diplomacy by

bigCover of the book Gold Mining and the Discourses of Corporate Social Responsibility in Ghana by

bigCover of the book Translational Recurrences 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