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 Hanes Walton, Jr.: Architect of the Black Science of Politics by

bigCover of the book Design and Implementation of Sigma Delta Modulators (ΣΔM) for Class D Audio Amplifiers using Differential Pairs by

bigCover of the book Innovative Heat Exchangers by

bigCover of the book Transfusion in the Intensive Care Unit by

bigCover of the book Hybrid Artificial Intelligent Systems by

bigCover of the book Approximation with Positive Linear Operators and Linear Combinations by

bigCover of the book Construction Safety and Waste Management by

bigCover of the book Families and Technology by

bigCover of the book Public History and Culture in South Africa by

bigCover of the book Surveys in Differential-Algebraic Equations III by

bigCover of the book Alcoholic and Non-Alcoholic Fatty Liver Disease by

bigCover of the book Understanding Policy Decisions by

bigCover of the book China's Governance by

bigCover of the book Restorative Justice in India by

bigCover of the book Nanotechnologies for Environmental Remediation 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