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 Universal Access in Human-Computer Interaction. Access to Learning, Health and Well-Being by

bigCover of the book Homonymous Visual Field Defects by

bigCover of the book Model and Data Engineering by

bigCover of the book Max Schmeling and the Making of a National Hero in Twentieth-Century Germany by

bigCover of the book After Deportation by

bigCover of the book Theories of the Logos by

bigCover of the book Semantic Web Challenges by

bigCover of the book Women in Mathematical Biology by

bigCover of the book Formal Methods and Software Engineering by

bigCover of the book Nanosciences and Nanotechnology by

bigCover of the book Computability and Complexity by

bigCover of the book Viscoelastic Interfaces Driven in Disordered Media by

bigCover of the book Structural Equation Models by

bigCover of the book Quantitative Psychology Research 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