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 Representing Communism After the Fall by

bigCover of the book The Science of Baseball by

bigCover of the book Constraint Theory by

bigCover of the book Internationalisation in Vietnamese Higher Education by

bigCover of the book Internet Science by

bigCover of the book Game Theory for Managing Security in Chemical Industrial Areas by

bigCover of the book The Obama Presidency and the Politics of Change by

bigCover of the book Communication Systems for Electrical Engineers by

bigCover of the book The Palgrave Handbook of Artistic and Cultural Responses to War since 1914 by

bigCover of the book Doping of Carbon Nanotubes by

bigCover of the book Modern Piezoelectric Energy-Harvesting Materials by

bigCover of the book Tennyson and Geology by

bigCover of the book The Transformation of Georgia from 2004 to 2012 by

bigCover of the book The Quantum Gamble by

bigCover of the book Agricultural Law 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