Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Nonfiction, Computers, Programming, Programming Languages, 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 Human Error, Reliability, Resilience, and Performance by

bigCover of the book Varicocele and Male Infertility by

bigCover of the book Information Fusion and Geographic Information Systems (IF&GIS' 2015) by

bigCover of the book Healthcare Reform in China by

bigCover of the book Algorithmic Learning Theory by

bigCover of the book Introduction to Partial Differential Equations by

bigCover of the book Female Leaders in New Religious Movements by

bigCover of the book SDL 2017: Model-Driven Engineering for Future Internet by

bigCover of the book Mobile Media Technologies and Poiēsis by

bigCover of the book Nietzsche and Modernism by

bigCover of the book Atlas of Pediatric Dermatoscopy by

bigCover of the book Python For ArcGIS by

bigCover of the book Can We Talk Mediterranean? by

bigCover of the book Proceedings of the Third International Afro-European Conference for Industrial Advancement — AECIA 2016 by

bigCover of the book FXTAS, FXPOI, and Other Premutation Disorders 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