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 Set-Theoretic Methods in Control by

bigCover of the book Producing History in Spanish Civil War Exhumations by

bigCover of the book Internet Economy vs Classic Economy: Struggle of Contradictions by

bigCover of the book Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment by

bigCover of the book The Structure and Stability of Persistence Modules by

bigCover of the book Digital Breast Tomosynthesis by

bigCover of the book Inertial Confinement Fusion Driven Thermonuclear Energy by

bigCover of the book Finite Frequency Analysis and Synthesis for Singularly Perturbed Systems by

bigCover of the book Carbon Sequestration in Agricultural Ecosystems by

bigCover of the book A Method of Fundamental Solutions in Poroelasticity to Model the Stress Field in Geothermal Reservoirs by

bigCover of the book Teaching Learning Based Optimization Algorithm by

bigCover of the book Intercultural Knowledge Sharing in MNCs by

bigCover of the book L-Arginine in Clinical Nutrition by

bigCover of the book Embodied Curriculum Theory and Research in Arts Education by

bigCover of the book Joshua Mqabuko Nkomo of Zimbabwe 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