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 Internetworked World by

bigCover of the book A Brief History of Everything Wireless by

bigCover of the book The Two Sides of Innovation by

bigCover of the book Gastrointestinal Pharmacology by

bigCover of the book Rubber Based Bionanocomposites by

bigCover of the book Brexit and Democracy by

bigCover of the book High Performance Computing in Science and Engineering ‘13 by

bigCover of the book Pediatric Anesthesiology Review by

bigCover of the book Symbolic Parallelization of Nested Loop Programs by

bigCover of the book Dynamic Memory Management for Embedded Systems by

bigCover of the book Elasticity for Geotechnicians by

bigCover of the book Symbolic and Quantitative Approaches to Reasoning with Uncertainty by

bigCover of the book Graph Transformation 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