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 Progress in Science, Progress in Society by

bigCover of the book A Comparative Political Ecology of Exurbia by

bigCover of the book Europe in the Classroom by

bigCover of the book Water Resources of Jordan by

bigCover of the book Nanomedicine for Cancer Therapy by

bigCover of the book Physical Asset Management by

bigCover of the book The Future Internet by

bigCover of the book Good Practice in Pediatric and Adolescent Gynecology by

bigCover of the book Bodies, Boundaries and Vulnerabilities by

bigCover of the book Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries by

bigCover of the book Gangs and Spirituality by

bigCover of the book Hands-On Value-at-Risk and Expected Shortfall by

bigCover of the book Biological Remediation of Explosive Residues by

bigCover of the book High Performance Computing in Science and Engineering ´15 by

bigCover of the book Assemblies of Gold Nanoparticles at Liquid-Liquid Interfaces 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