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 Research in Computational Molecular Biology by

bigCover of the book Teaching Medicine and Medical Ethics Using Popular Culture by

bigCover of the book Clinical Medical Ethics by

bigCover of the book Trust in the European Union in Challenging Times by

bigCover of the book Accelerator Programming Using Directives by

bigCover of the book Aortic Regurgitation by

bigCover of the book Technology and the Insurance Industry by

bigCover of the book Youth and Substance Abuse by

bigCover of the book Tumors of the Jugular Foramen by

bigCover of the book The Hydraulic Transport and Storage of Extractive Waste by

bigCover of the book Educational Media and Technology Yearbook by

bigCover of the book Philosophy and Breaking Bad by

bigCover of the book Secularists, Religion and Government in Nineteenth-Century America by

bigCover of the book Religion and Human Enhancement by

bigCover of the book Artificial Economics and Self Organization 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