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
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