Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, 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 Legal Aspects Around Satellite Constellations by

bigCover of the book How to Write a Competitive R01 Grant by

bigCover of the book Complexity in Economics: Cutting Edge Research by

bigCover of the book An Archaeology of Improvement in Rural Massachusetts by

bigCover of the book The New Music Industries by

bigCover of the book Designing and Managing Industrial Product-Service Systems by

bigCover of the book Literary Festivals and Contemporary Book Culture by

bigCover of the book Options Installment Strategies by

bigCover of the book Advances in Solid and Hazardous Waste Management by

bigCover of the book Dynamics Of Mediatization by

bigCover of the book Simulation of Optical Soliton Control in Micro- and Nanoring Resonator Systems by

bigCover of the book Computer-Supported Collaborative Decision-Making by

bigCover of the book Out-of-Equilibrium Physics of Correlated Electron Systems 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