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 Genetic Programming Theory and Practice XVI by

bigCover of the book Lifetime Environmental Impact of Buildings by

bigCover of the book Process Equipment Procurement in the Chemical and Related Industries by

bigCover of the book Zika Virus Infection by

bigCover of the book Human Chromosome Atlas by

bigCover of the book Foundations of Hardware IP Protection by

bigCover of the book Percolation Theory for Flow in Porous Media by

bigCover of the book Failure Analysis by

bigCover of the book Ethics and Governance of Biomedical Research by

bigCover of the book Intelligent Routines II by

bigCover of the book Theatre, Performance and Change by

bigCover of the book Heads, Jaws, and Muscles by

bigCover of the book Green Infrastructure Financing by

bigCover of the book Time-Symmetry Breaking in Turbulent Multi-Particle Dispersion by

bigCover of the book Electrochemistry in Ionic Liquids 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