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 Relativity Matters by

bigCover of the book Theaters of Error by

bigCover of the book Yosida Approximations of Stochastic Differential Equations in Infinite Dimensions and Applications by

bigCover of the book Modern Ylide Chemistry by

bigCover of the book Organometallic Fluorine Chemistry by

bigCover of the book Formal Concept Analysis by

bigCover of the book Processing of Polymer-based Nanocomposites by

bigCover of the book A Modern Nordic Saga : Politics, Economy and Society by

bigCover of the book Complexity and Control in Quantum Photonics by

bigCover of the book Biometric Recognition by

bigCover of the book Variable-Structure Approaches by

bigCover of the book Computer Vision Systems by

bigCover of the book Art and Politics under Modern Dictatorships 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