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 Uncertainty Quantification in Computational Fluid Dynamics by

bigCover of the book Strategies and Best Practices in Social Innovation by

bigCover of the book Peri-Urban Areas and Food-Energy-Water Nexus by

bigCover of the book Antisocial Media by

bigCover of the book Smart Blockchain by

bigCover of the book Millennium Development Goals (MDGs) in Retrospect by

bigCover of the book Advances in Systematic Creativity by

bigCover of the book Regulation of Infrastructure and Utilities by

bigCover of the book Mutualisms and Insect Conservation by

bigCover of the book Coviability of Social and Ecological Systems: Reconnecting Mankind to the Biosphere in an Era of Global Change by

bigCover of the book Logic-Based Program Synthesis and Transformation by

bigCover of the book Cause-Effect Structures by

bigCover of the book Temporal Bone Cancer by

bigCover of the book Requirements Engineering: Foundation for Software Quality 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