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 The Ethics of Choosing Children by

bigCover of the book Heat Transfer of Laminar Mixed Convection of Liquid by

bigCover of the book Water Policy in Canada by

bigCover of the book Agricultural Cooperative Management and Policy by

bigCover of the book Visualizing the Data City by

bigCover of the book National Socialism and German Discourse by

bigCover of the book Real-Time Modelling and Processing for Communication Systems by

bigCover of the book Security Standardisation Research by

bigCover of the book Complex Systems and Social Practices in Energy Transitions by

bigCover of the book Motivation of Workers on Microtask Crowdsourcing Platforms by

bigCover of the book Rare Diseases and Syndromes of the Spinal Cord by

bigCover of the book Girls and Juvenile Justice by

bigCover of the book Joint Care of Parents and Infants in Perinatal Psychiatry by

bigCover of the book Biomass and Bioenergy by

bigCover of the book Introduction to Morphogenetic Computing 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