Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

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 Credibility, Validity, and Assumptions in Program Evaluation Methodology by

bigCover of the book Football, Gambling, and Money Laundering by

bigCover of the book The China-Latin America Axis by

bigCover of the book Complex Digital Circuits by

bigCover of the book Nanotribology and Nanomechanics by

bigCover of the book Geometrically Unfitted Finite Element Methods and Applications by

bigCover of the book Advances in Medicine and Medical Research by

bigCover of the book Intervention Effectiveness Research: Quality Improvement and Program Evaluation by

bigCover of the book Testing Software and Systems by

bigCover of the book Artificial Intelligence in Label-free Microscopy by

bigCover of the book Advances in Social & Occupational Ergonomics by

bigCover of the book The Last Natural Man by

bigCover of the book Political and Religious Identities of British Evangelicals by

bigCover of the book Fundamentals of Statistical Hydrology by

bigCover of the book Homological and Combinatorial Methods in Algebra 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