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 Finding Political Identities by

bigCover of the book Non-Instantaneous Impulses in Differential Equations by

bigCover of the book Antimicrobial Resistance in the 21st Century by

bigCover of the book Selected Areas in Cryptography – SAC 2018 by

bigCover of the book Neurological Regeneration by

bigCover of the book Computer Aided Virtual Manufacturing Using Creo Parametric by

bigCover of the book University Cricket and Emerging Adulthood by

bigCover of the book Analysis and Modelling of Water Supply and Demand Under Climate Change, Land Use Transformation and Socio-Economic Development by

bigCover of the book Values Deliberation and Collective Action by

bigCover of the book Non-seismic and Non-conventional Exploration Methods for Oil and Gas in Cuba by

bigCover of the book Leisure’s Legacy by

bigCover of the book Atlas of Sexually Transmitted Diseases by

bigCover of the book Transport Spectroscopy of Confined Fractional Quantum Hall Systems by

bigCover of the book Narratives of Justice In and Out of the Courtroom by

bigCover of the book Progress in Turbulence VII 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