Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

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 Automated Technology for Verification and Analysis

More books from Springer International Publishing

bigCover of the book Advances on Theory and Practice of Robots and Manipulators by

bigCover of the book Airports, Cities, and the Jet Age by

bigCover of the book Homological and Combinatorial Methods in Algebra by

bigCover of the book A Critical Overview of Biological Functions by

bigCover of the book Philosophy and Cognitive Science II by

bigCover of the book A Brief History of Universities by

bigCover of the book Husserl, Cassirer, Schlick by

bigCover of the book Computational Techniques for Human Smile Analysis by

bigCover of the book Reducing Restraint and Restrictive Behavior Management Practices by

bigCover of the book The Large Scale Structures by

bigCover of the book Quantitative Models for Performance Evaluation and Benchmarking by

bigCover of the book Understanding Acoustics by

bigCover of the book Achieving Dynamism in an Anaemic Europe by

bigCover of the book Story and Philosophy for Social Change in Medieval and Postmodern Writing 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