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 Case-Based Reasoning Research and Development by

bigCover of the book Air Pollution in Eastern Asia: An Integrated Perspective by

bigCover of the book Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language by

bigCover of the book Professional Authority After the Global Financial Crisis by

bigCover of the book Algebraic Coding Theory Over Finite Commutative Rings by

bigCover of the book Human-Experiential Design of Presence in Everyday Blended Reality by

bigCover of the book Mechatronics 2019: Recent Advances Towards Industry 4.0 by

bigCover of the book Transforming Rural Communities in China and Beyond by

bigCover of the book The Virtue Ethics of Levi Gersonides by

bigCover of the book Digital Communication. Towards a Smart and Secure Future Internet by

bigCover of the book Electricity-based Fuels by

bigCover of the book Analytical Methods for the Assessment of Maillard Reactions in Foods 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