Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, 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 Lectures in Feedback Design for Multivariable Systems by

bigCover of the book Imprecision and Uncertainty in Information Representation and Processing by

bigCover of the book Statistical Atlases and Computational Models of the Heart. ACDC and MMWHS Challenges by

bigCover of the book Novel Biomarkers in the Continuum of Breast Cancer by

bigCover of the book New Trends in Medical and Service Robots by

bigCover of the book The Chemistry of Frozen Vegetables by

bigCover of the book Image Analysis and Recognition by

bigCover of the book Advances in Statistical Models for Data Analysis by

bigCover of the book Understanding Child Neglect by

bigCover of the book Reduced Order Methods for Modeling and Computational Reduction by

bigCover of the book Hybrid Practices in Moving Image Design by

bigCover of the book PET/CT in Hodgkin’s Lymphoma by

bigCover of the book The ACP Group and the EU Development Partnership by

bigCover of the book Piezoelectric Actuators and Generators for Energy Harvesting 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