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 Practical Pelvic Floor Ultrasonography by

bigCover of the book Computer Networks by

bigCover of the book Cancer in Adolescents and Young Adults by

bigCover of the book Markov Decision Processes in Practice by

bigCover of the book NGO Politics in Sri Lanka by

bigCover of the book Understanding Terrestrial Microbial Communities by

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

bigCover of the book New Hybrid Intelligent Systems for Diagnosis and Risk Evaluation of Arterial Hypertension by

bigCover of the book Education Reform: The Unwinding of Intelligence and Creativity by

bigCover of the book Fading and Shadowing in Wireless Systems by

bigCover of the book Strategies Towards the New Sustainability Paradigm by

bigCover of the book Human Rights, Transitional Justice, and the Reconstruction of Political Order in Latin America by

bigCover of the book Europe, the Crisis, and the Internet by

bigCover of the book Engineering and Management of Data Centers by

bigCover of the book Nuclear Medicine Technology 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