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 Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things by

bigCover of the book The Multiple Facets of Partial Least Squares and Related Methods by

bigCover of the book Differential Geometry by

bigCover of the book The Legacy of Second-Wave Feminism in American Politics by

bigCover of the book Coding Theory and Applications by

bigCover of the book Proprioception in Orthopaedics, Sports Medicine and Rehabilitation by

bigCover of the book Psychosocial Factors in Arthritis by

bigCover of the book New Trends in Applied Harmonic Analysis by

bigCover of the book Multiplatform Media in Mexico by

bigCover of the book Inkjet-Configurable Gate Array by

bigCover of the book Management of Fecal Incontinence by

bigCover of the book Big Law in Latin America and Spain by

bigCover of the book Improving Teacher Knowledge in K-12 Schooling by

bigCover of the book Equations of Motion in Relativistic Gravity 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