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 Advances in Cryptology – EUROCRYPT 2019 by

bigCover of the book Posttraumatic and Acute Stress Disorders by

bigCover of the book Atlas of Pediatric Brain Tumors by

bigCover of the book Policy Capacity and Governance by

bigCover of the book Gender and Political Violence by

bigCover of the book Western Balkan Economies in Transition by

bigCover of the book Mathematics Education in the Early Years by

bigCover of the book Comprehensive Clinical Plasma Medicine by

bigCover of the book Multimedia Services in Intelligent Environments by

bigCover of the book Introduction to the Physics of Silicene and other 2D Materials by

bigCover of the book Applied Statistics in Biomedicine and Clinical Trials Design by

bigCover of the book Beneficial Microorganisms in Medical and Health Applications by

bigCover of the book Melanin-Concentrating Hormone and Sleep by

bigCover of the book The Politics of Power by

bigCover of the book Shadowing and Hyperbolicity 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