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 Demand Forecasting for Inventory Control by

bigCover of the book Engineering Secure Software and Systems by

bigCover of the book MultiMedia Modeling by

bigCover of the book The Human Hand as an Inspiration for Robot Hand Development by

bigCover of the book Damage Tolerance of Metallic Aircraft Structures by

bigCover of the book Introduction to Fluorescence Sensing by

bigCover of the book Information and Control in Networks by

bigCover of the book Lean Management Beyond Manufacturing by

bigCover of the book The Three Paths of Justice by

bigCover of the book Multi-hazard Approaches to Civil Infrastructure Engineering by

bigCover of the book Analytic Curve Frequency-Sweeping Stability Tests for Systems with Commensurate Delays by

bigCover of the book Focus on Gynecologic Malignancies by

bigCover of the book eCommerce and the Effects of Technology on Taxation by

bigCover of the book Space Resource Utilization: A View from an Emerging Space Faring Nation 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