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 Data Mining with SPSS Modeler by

bigCover of the book Celebrating Soil by

bigCover of the book Georg Simmel’s Concluding Thoughts by

bigCover of the book Reducing Inequalities by

bigCover of the book Social, Cultural, and Behavioral Modeling by

bigCover of the book The Future of HIV-1 Therapeutics by

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

bigCover of the book Bruce M. Russett: Pioneer in the Scientific and Normative Study of War, Peace, and Policy by

bigCover of the book A Concise Introduction to Elastic Solids by

bigCover of the book Fundamentals of Laser-Assisted Micro- and Nanotechnologies by

bigCover of the book Education in Post-Conflict Transition by

bigCover of the book Supreme Courts in Transition in China and the West by

bigCover of the book TRIZ. Theory of Inventive Problem Solving by

bigCover of the book Wireless Internet by

bigCover of the book Advances in QSAR Modeling 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