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 Programming Languages by

bigCover of the book The American Experience in Bioethics by

bigCover of the book Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer by

bigCover of the book Symmetry and Symmetry-Breaking in Semiconductors by

bigCover of the book Advanced Calculus of a Single Variable by

bigCover of the book Sexually Harmful Youth by

bigCover of the book The Rise of Catalan Identity by

bigCover of the book Effective Complaint Management by

bigCover of the book Retinal Degenerative Diseases by

bigCover of the book Dehumanization of Warfare by

bigCover of the book Advances in User Authentication by

bigCover of the book Antibiotic and Antifungal Therapies in Dermatology by

bigCover of the book The Pedagogy of the Social Sciences Curriculum by

bigCover of the book Advances in Acoustic Emission Technology by

bigCover of the book Particle Accelerator Physics 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