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 Random Numbers and Computers by

bigCover of the book Practices and Tools for Servitization by

bigCover of the book Inter-Municipal Cooperation in Europe by

bigCover of the book Salvia Biotechnology by

bigCover of the book Ensuring Quality in Professional Education Volume II by

bigCover of the book Intelligent Methods and Big Data in Industrial Applications by

bigCover of the book Fair Development in China by

bigCover of the book Digital Technology as Affordance and Barrier in Higher Education by

bigCover of the book Road Vehicle Automation 3 by

bigCover of the book Big Data Benchmarking by

bigCover of the book The Victorian Ghost Story and Theology by

bigCover of the book Spell of the Urubamba by

bigCover of the book Esther in Early Modern Iberia and the Sephardic Diaspora by

bigCover of the book New Essays on Frege 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