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 Intakes and Outfalls for Seawater Reverse-Osmosis Desalination Facilities by

bigCover of the book Algorithmic Aspects of Cloud Computing by

bigCover of the book Nigeria’s 2015 General Elections by

bigCover of the book Secure IT Systems by

bigCover of the book Sourcebook in the History of Philosophy of Language by

bigCover of the book Newton’s Sensorium: Anatomy of a Concept by

bigCover of the book Controller Tuning with Evolutionary Multiobjective Optimization by

bigCover of the book Sounds, Societies, Significations by

bigCover of the book Intelligent Hydrogels by

bigCover of the book New Media and Perennial Problems in Foreign Language Learning and Teaching by

bigCover of the book Exploring the Health State of a Population by Dynamic Modeling Methods by

bigCover of the book Fourier Series, Fourier Transform and Their Applications to Mathematical Physics by

bigCover of the book Negotiating the EU’s 2030 Climate and Energy Framework by

bigCover of the book Energy Harvesting and Energy Efficiency 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