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 The Palgrave Handbook of Indicators in Global Governance by

bigCover of the book Entrepreneurial Negotiation by

bigCover of the book Trump’s Media War by

bigCover of the book Image and Graphics by

bigCover of the book The Cnidaria, Past, Present and Future by

bigCover of the book Source Separation and Recycling by

bigCover of the book Pain, Emotion and Cognition by

bigCover of the book Artistic Utopias of Revolt by

bigCover of the book Women’s Narratives and the Postmemory of Displacement in Central and Eastern Europe by

bigCover of the book Contrastive Analysis of Discourse-pragmatic Aspects of Linguistic Genres by

bigCover of the book Open Problems in Spectral Dimensionality Reduction by

bigCover of the book 3rd International Multidisciplinary Microscopy and Microanalysis Congress (InterM) by

bigCover of the book Commercialization of Nanotechnologies–A Case Study Approach by

bigCover of the book Connecting Self-regulated Learning and Performance with Instruction Across High School Content Areas by

bigCover of the book Credibility, Validity, and Assumptions in Program Evaluation Methodology 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