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 Enhancing Hydrogen Storage Properties of Metal Hybrides by

bigCover of the book Exact Design of Digital Microfluidic Biochips by

bigCover of the book Foundations and Practice of Security by

bigCover of the book Control of Nonholonomic Systems: from Sub-Riemannian Geometry to Motion Planning by

bigCover of the book Fracture at all Scales by

bigCover of the book Engineering Trustworthy Software Systems by

bigCover of the book Applied Partial Differential Equations by

bigCover of the book Handbook on Positive Development of Minority Children and Youth by

bigCover of the book The History of the Universe by

bigCover of the book Smart Intelligent Aircraft Structures (SARISTU) by

bigCover of the book Long-Term Outcomes of Epilepsy Surgery in Adults and Children by

bigCover of the book Exploring the Martian Moons by

bigCover of the book Springer Handbook of Electronic and Photonic Materials by

bigCover of the book Illustrating Finance Policy with Mathematica 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