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 Handbook of Cardiac Anatomy, Physiology, and Devices by

bigCover of the book Cooperative Design, Visualization, and Engineering by

bigCover of the book Mycoremediation and Environmental Sustainability by

bigCover of the book War and Memory in Russia, Ukraine and Belarus by

bigCover of the book Rail Transport—Systems Approach by

bigCover of the book Unusual Diseases with Common Symptoms by

bigCover of the book Algal Biorefinery: An Integrated Approach by

bigCover of the book Designing, Selecting, Implementing and Using APS Systems by

bigCover of the book A Practical Guide to Drug Development in Academia by

bigCover of the book Mobile Networks and Management by

bigCover of the book Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores by

bigCover of the book Evaluation of Supply Chain Performance by

bigCover of the book Springer Series in Light Scattering by

bigCover of the book Progress in the Chemistry of Organic Natural Products 105 by

bigCover of the book Proceedings of the International Conference on Earthquake Engineering and Structural Dynamics 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