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 Purification of Peptides in High-Complexity Arrays by

bigCover of the book Maximum-Entropy Networks by

bigCover of the book Carbon Sequestration in Agricultural Ecosystems by

bigCover of the book Differential Geometry by

bigCover of the book The Future of Work in Information Society by

bigCover of the book Algorithms and Discrete Applied Mathematics by

bigCover of the book The Language of Economics by

bigCover of the book Systems and Frameworks for Computational Morphology by

bigCover of the book The Future of Museums by

bigCover of the book Advances in Intelligent Informatics, Smart Technology and Natural Language Processing by

bigCover of the book Industry 4.0: Industrial Revolution of the 21st Century by

bigCover of the book Fundamental Issues of Artificial Intelligence by

bigCover of the book The Barley Genome by

bigCover of the book The Evolution of UN Sanctions by

bigCover of the book Recentering Africa in International Relations 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