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 Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 by

bigCover of the book Database and Expert Systems Applications by

bigCover of the book Inertia and Gravitation by

bigCover of the book Convex Analysis and Monotone Operator Theory in Hilbert Spaces by

bigCover of the book Wireless Mobile Communication and Healthcare by

bigCover of the book Structured Object-Oriented Formal Language and Method by

bigCover of the book Inter-Municipal Cooperation in Europe by

bigCover of the book Korean Women in Leadership by

bigCover of the book Business Process Management Workshops by

bigCover of the book Visual-spatial Ability in STEM Education by

bigCover of the book Runtime Verification by

bigCover of the book International Dimensions of Sustainable Management by

bigCover of the book Transatlantic Literature and Author Love in the Nineteenth Century by

bigCover of the book Concepts and Formulations for Spatial Multibody Dynamics by

bigCover of the book Pattern Recognition 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