Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Nonfiction, Computers, Programming, Programming Languages, 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 Contrastive Analysis of Discourse-pragmatic Aspects of Linguistic Genres by

bigCover of the book Conceiving Nature after Aristotle, Kant, and Hegel by

bigCover of the book Healthcare Reform in China by

bigCover of the book Energy Efficiency Clauses in Charter Party Agreements by

bigCover of the book Critical Care for Anorexia Nervosa by

bigCover of the book Digital Technologies: Sustainable Innovations for Improving Teaching and Learning by

bigCover of the book New Perspectives in Medical Records by

bigCover of the book Machine Learning Paradigms: Theory and Application by

bigCover of the book Artistic Utopias of Revolt by

bigCover of the book Quality of Life and Well-Being in an Indian Ethnic Community by

bigCover of the book Resistance to Targeted Therapies in Breast Cancer by

bigCover of the book Social Audit Regulation by

bigCover of the book Intelligent Mathematics II: Applied Mathematics and Approximation Theory by

bigCover of the book Mathematical Problems in Data Science by

bigCover of the book Potassic Igneous Rocks and Associated Gold-Copper Mineralization 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