Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, 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 International Communities of Invention and Innovation by

bigCover of the book Fuzzy Statistical Decision-Making by

bigCover of the book Distributed Computing in Big Data Analytics by

bigCover of the book The Basics of Item Response Theory Using R by

bigCover of the book The Siberian Sturgeon (Acipenser baerii, Brandt, 1869) Volume 1 - Biology by

bigCover of the book Inside Company Valuation by

bigCover of the book Developments in the Flow of Complex Fluids in Tubes by

bigCover of the book Information and Software Technologies by

bigCover of the book Analysis of Images, Social Networks and Texts by

bigCover of the book Contrived Laissez-Faireism by

bigCover of the book Hayek: A Collaborative Biography by

bigCover of the book Edith Stein: Women, Social-Political Philosophy, Theology, Metaphysics and Public History by

bigCover of the book The Automobile Revolution by

bigCover of the book Injection Laryngoplasty 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