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 Imaging and Intervention in Urinary Tract Infections and Urosepsis by

bigCover of the book Hydrological Data Driven Modelling by

bigCover of the book Microbiota of the Human Body by

bigCover of the book Multidimensional Periodic Schrödinger Operator by

bigCover of the book Quantitative Psychology Research by

bigCover of the book The Cooperative Enterprise by

bigCover of the book Police Misconduct in Brooklyn by

bigCover of the book Systems Thinking for Sustainable Development by

bigCover of the book Tercentenary Essays on the Philosophy and Science of Leibniz by

bigCover of the book Software Data Engineering for Network eLearning Environments by

bigCover of the book Applied Summability Methods by

bigCover of the book RNA and DNA Diagnostics by

bigCover of the book The Disintegration of Euro-Atlanticism and New Authoritarianism by

bigCover of the book Aerospace Marketing Management 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