Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, 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 The Saudi Arabian Monetary Agency, 1952-2016 by

bigCover of the book Aspects of Management Planning for Cultural World Heritage Sites by

bigCover of the book Image Quality Assessment of Computer-generated Images by

bigCover of the book Guide to Simulation-Based Disciplines by

bigCover of the book New Light Through Old Windows: Exploring Contemporary Science Through 12 Classic Science Fiction Tales by

bigCover of the book Biodiversity and Evolution of Parasitic Life in the Southern Ocean by

bigCover of the book Community Education and Neoliberalism by

bigCover of the book Articulated Motion and Deformable Objects by

bigCover of the book Building Development Studies for the New Millennium by

bigCover of the book Power GaN Devices by

bigCover of the book Piezoelectric Ceramic Resonators by

bigCover of the book A Primer on Hilbert Space Theory by

bigCover of the book Hermeneutics of Human-Animal Relations in the Wake of Rewilding by

bigCover of the book Descriptive Topology and Functional Analysis II 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