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 Prospective Memory by

bigCover of the book Formal Techniques for Distributed Objects, Components, and Systems by

bigCover of the book Micromachines for Biological Micromanipulation by

bigCover of the book Perspectives on Peacekeeping and Atrocity Prevention by

bigCover of the book Control of Discrete-Time Descriptor Systems by

bigCover of the book Numerical Methods and Modelling for Engineering by

bigCover of the book Integrated Management Systems by

bigCover of the book Computational Engineering by

bigCover of the book Proceedings of the International Conference on Microplastic Pollution in the Mediterranean Sea by

bigCover of the book Naturalists, Explorers and Field Scientists in South-East Asia and Australasia by

bigCover of the book Direction of Time by

bigCover of the book Local and Global Myths in Shakespearean Performance by

bigCover of the book Advanced Concepts for Intelligent Vision Systems by

bigCover of the book Space and Subjectivity in Contemporary Brazilian Cinema 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