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 Advances in Artificial Intelligence by

bigCover of the book Management of Differentiated Thyroid Cancer by

bigCover of the book Metals and Society by

bigCover of the book Classroom Management in Teacher Education Programs by

bigCover of the book Conflict Resolution in Water Resources and Environmental Management by

bigCover of the book Development and Sustainable Growth of Mauritius by

bigCover of the book PI3K-mTOR in Cancer and Cancer Therapy by

bigCover of the book Advanced Gear Engineering by

bigCover of the book Complex Networks in Software, Knowledge, and Social Systems by

bigCover of the book Low-Noise Low-Power Design for Phase-Locked Loops by

bigCover of the book The Symbolic Computation of Integrability Structures for Partial Differential Equations by

bigCover of the book Mentorship, Leadership, and Research by

bigCover of the book Proximal Femur Fractures 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