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