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 Intercultural Cities by

bigCover of the book Halophytes: An Integrative Anatomical Study by

bigCover of the book Oceanographic and Biological Aspects of the Red Sea by

bigCover of the book A History of Abstract Algebra by

bigCover of the book Clinical Ethics Consultation: A Practical Guide by

bigCover of the book How Aspirin Entered Our Medicine Cabinet by

bigCover of the book Innovation in Medicine and Healthcare 2016 by

bigCover of the book China's Belt and Road Initiative by

bigCover of the book Sol-gel Based Nanoceramic Materials: Preparation, Properties and Applications by

bigCover of the book A Concise Dictionary of Paleontology by

bigCover of the book Supporting Learning Across Working Life by

bigCover of the book Concise Guide to Computing Foundations by

bigCover of the book Statics of Historic Masonry Constructions by

bigCover of the book Collaborative Economy and Tourism by

bigCover of the book Human Mental Workload: Models and 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