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 Patch-Based Techniques in Medical Imaging by

bigCover of the book Narrative Medicine by

bigCover of the book Internet of Things and Smart Environments by

bigCover of the book Stem Cells, Pre-neoplasia, and Early Cancer of the Upper Gastrointestinal Tract by

bigCover of the book Multimodality Management of Borderline Resectable Pancreatic Cancer by

bigCover of the book The Basics of Cancer Immunotherapy by

bigCover of the book Surgical Principles of Minimally Invasive Procedures by

bigCover of the book Narrating Citizenship and Belonging in Anglophone Canadian Literature by

bigCover of the book Pervasive Computing Paradigms for Mental Health by

bigCover of the book Multilevel Selection and the Theory of Evolution by

bigCover of the book Computational Radiology for Orthopaedic Interventions by

bigCover of the book Analysis and Design of Delayed Genetic Regulatory Networks by

bigCover of the book Semantics, Analytics, Visualization. Enhancing Scholarly Data by

bigCover of the book Contagion, Isolation, and Biopolitics in Victorian London by

bigCover of the book State Estimation and Control for Low-cost Unmanned Aerial Vehicles 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