Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, 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 Cloud Networking for Big Data by

bigCover of the book Innovative Computing Trends and Applications by

bigCover of the book Partial Stabilization and Control of Distributed Parameter Systems with Elastic Elements by

bigCover of the book The Art of Forgetting by

bigCover of the book The Teleoscopic Polity by

bigCover of the book Voting Experiments by

bigCover of the book Optimal Impulsive Control by

bigCover of the book Foundations of Elastoplasticity: Subloading Surface Model by

bigCover of the book Controlled Drug Delivery Systems by

bigCover of the book Therapeutic Use of Medicinal Plants and their Extracts: Volume 2 by

bigCover of the book Image Processing and Communications Challenges 7 by

bigCover of the book Staged Normality in Shakespeare's England by

bigCover of the book Relativity without Spacetime by

bigCover of the book Acute Care Surgery Handbook by

bigCover of the book The Economics of Brexit 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