Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, 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 Structure and Stability of Persistence Modules by

bigCover of the book The NATO Committee on the Challenges of Modern Society, 1969–1975 by

bigCover of the book Extreme Sports Medicine by

bigCover of the book Agent-based Modeling and Simulation in Archaeology by

bigCover of the book Muscular Dystrophy by

bigCover of the book Emotional Engineering Volume 4 by

bigCover of the book Biologic and Systemic Agents in Dermatology by

bigCover of the book Contacts and Contrasts in Cultures and Languages by

bigCover of the book Ordinary Differential Equations and Mechanical Systems by

bigCover of the book Cross-Cultural Design. Methods, Tools and User Experience by

bigCover of the book Why Religion and Spirituality Matter for Public Health by

bigCover of the book Post-Conflict Power-Sharing Agreements by

bigCover of the book Evolutionary Biology: Genome Evolution, Speciation, Coevolution and Origin of Life by

bigCover of the book Computational Science/Intelligence and Applied Informatics by

bigCover of the book Energy-Efficient Smart Temperature Sensors in CMOS Technology 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