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 Urban Air Pollution Monitoring by Ground-Based Stations and Satellite Data by

bigCover of the book Catalysis with Supported Size-selected Pt Clusters by

bigCover of the book Applied Partial Differential Equations by

bigCover of the book Lords of the Ice Moons by

bigCover of the book Generalized Adjoint Systems by

bigCover of the book Understanding the HIV/AIDS Epidemic in the United States by

bigCover of the book Mixed Method Research Design by

bigCover of the book Proceedings of ELM-2016 by

bigCover of the book Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities by

bigCover of the book Circuit Cavity QED with Macroscopic Solid-State Spin Ensembles by

bigCover of the book Engineering Embedded Systems by

bigCover of the book The Figure of the Animal in Modern and Contemporary Poetry by

bigCover of the book Gendered Politics and Law in Jordan by

bigCover of the book Revisiting Shakespeare’s Lost Play by

bigCover of the book Perturbative and Non-perturbative Approaches to String Sigma-Models in AdS/CFT 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