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 Robotic Fabrication in Architecture, Art and Design 2016 by

bigCover of the book The Emerging Quantum by

bigCover of the book Nanoscale Imaging and Characterisation of Amyloid-β by

bigCover of the book Lecture Notes in Real-Time Intelligent Systems by

bigCover of the book Software Technologies by

bigCover of the book Who’s to Blame for Greece? by

bigCover of the book Emerging Technologies for Economic Development by

bigCover of the book Fine Scale Characterization of Shale Reservoirs by

bigCover of the book Clinical Dermatology Trials 101 by

bigCover of the book Nonlinear Data Assimilation by

bigCover of the book Migrant Integration in Times of Economic Crisis by

bigCover of the book Assessment in Education by

bigCover of the book Information Visualization by

bigCover of the book Machine Learning and Data Mining for Sports Analytics 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