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 Excel 2016 for Business Statistics by

bigCover of the book Viral Infections in Children, Volume II by

bigCover of the book A Short Course in Ordinary Differential Equations by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Promoting Information in the Marketplace for Financial Services by

bigCover of the book Prospects for Biological Control of Plant Feeding Mites and Other Harmful Organisms by

bigCover of the book Molecular Mechanisms of Microbial Evolution by

bigCover of the book Reviews in Plasmonics 2016 by

bigCover of the book The Unfree Market and the Law by

bigCover of the book Control of Wave and Beam PDEs by

bigCover of the book Ambivalences of Creating Life by

bigCover of the book Designing Electronic Product Enclosures by

bigCover of the book Language and Automata Theory and Applications by

bigCover of the book English Language Ideologies in Korea by

bigCover of the book Modeling the Transmission and Prevention of Infectious Disease 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