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 Computer Vision – ACCV 2016 Workshops by

bigCover of the book Production of Plant Derived Natural Compounds through Hairy Root Culture by

bigCover of the book Sociology in Russia by

bigCover of the book The European Gas Markets by

bigCover of the book VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability by

bigCover of the book Crohn's Disease and Ulcerative Colitis by

bigCover of the book Transaction Cost Management by

bigCover of the book Graceful, Harmonious and Magic Type Labelings by

bigCover of the book Selected Themes in African Political Studies by

bigCover of the book Innovation, Regional Integration, and Development in Africa by

bigCover of the book Exotic Brome-Grasses in Arid and Semiarid Ecosystems of the Western US by

bigCover of the book Computer Safety, Reliability, and Security by

bigCover of the book Information Security and Cryptology -- ICISC 2013 by

bigCover of the book Low-Power Millimeter Wave Transmitters for High Data Rate Applications by

bigCover of the book Data Mining and Constraint Programming 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