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 Application of Data Mining Techniques in the Analysis of Indoor Hygrothermal Conditions by

bigCover of the book Sentiment Analysis in the Bio-Medical Domain by

bigCover of the book Ketamine for Treatment-Resistant Depression by

bigCover of the book Fomenting Political Violence by

bigCover of the book Operations, Logistics and Supply Chain Management by

bigCover of the book Virtualized Wireless Networks by

bigCover of the book Resistance to Tyrosine Kinase Inhibitors by

bigCover of the book Thermal Cracking of Massive Concrete Structures by

bigCover of the book More Math Into LaTeX by

bigCover of the book Christianity, Plasticity, and Spectral Heritages by

bigCover of the book Advanced Methods in the Fractional Calculus of Variations by

bigCover of the book Locating, Classifying and Countering Agile Land Vehicles by

bigCover of the book PET/MR Imaging: Current and Emerging Applications 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