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 Quantum Correlations Beyond Entanglement by

bigCover of the book Participation in Computing by

bigCover of the book Laser-Plasma Interactions and Applications by

bigCover of the book Supersymmetry and Noncommutative Geometry by

bigCover of the book Economic Evaluation of Climate Change Impacts by

bigCover of the book Mathematical Models and Methods for Planet Earth by

bigCover of the book Topics in Theoretical Computer Science by

bigCover of the book Computational Methods in Systems Biology by

bigCover of the book Regional Science Matters by

bigCover of the book Mathematics Achievement of Immigrant Students by

bigCover of the book Advances on P2P, Parallel, Grid, Cloud and Internet Computing by

bigCover of the book Post-harvest Pathology by

bigCover of the book Redox State as a Central Regulator of Plant-Cell Stress Responses by

bigCover of the book Cosmopolitan Lives on the Cusp of Empire by

bigCover of the book Societal Geo-innovation 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