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 Collaboration and Technology by

bigCover of the book The Rule of Crisis by

bigCover of the book Descent of the Testis by

bigCover of the book Landscapes of Eternal Return by

bigCover of the book Network Models in Economics and Finance by

bigCover of the book Business Process Management Forum by

bigCover of the book The Many Faces of Maxwell, Dirac and Einstein Equations by

bigCover of the book Ontology-Based Data Access Leveraging Subjective Reports by

bigCover of the book Electronic Commerce 2018 by

bigCover of the book Cooperative Design, Visualization, and Engineering by

bigCover of the book Sensitivity Analysis by

bigCover of the book Mobile and Ubiquitous Systems: Computing, Networking, and Services by

bigCover of the book Teaching and Learning in Lower Secondary Schools in the Era of PISA and TIMSS by

bigCover of the book Pulse Voltammetry in Physical Electrochemistry and Electroanalysis by

bigCover of the book The First Socialization Debate (1918) and Early Efforts Towards Socialization 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