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 The Tidal Disruption of Stars by Supermassive Black Holes by

bigCover of the book Neuroendocrine Tumors in Real Life by

bigCover of the book A Comparative Doxastic-Practice Epistemology of Religious Experience by

bigCover of the book Social Phenomena by

bigCover of the book Causal Inference in Econometrics by

bigCover of the book Racial Justice, Policies and Courts' Legal Reasoning in Europe by

bigCover of the book Standard Setting in Education by

bigCover of the book Advances in Multimedia Information Processing – PCM 2018 by

bigCover of the book Redox Homeostasis in Plants by

bigCover of the book Mapping out the Research Field of Adult Education and Learning by

bigCover of the book Mathematical Creativity and Mathematical Giftedness by

bigCover of the book Global Drinking Water Management and Conservation by

bigCover of the book Industrial Engineering in the Big Data Era by

bigCover of the book Innovations in Bio-Inspired Computing and Applications by

bigCover of the book Democratizing Constitutional Law 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