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
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 Codex Orféo 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