Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, 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 Cyber Security: Power and Technology by

bigCover of the book Veronica Forrest-Thomson by

bigCover of the book Urogenital Tuberculosis: Epidemiology, Diagnosis, Therapy by

bigCover of the book Mathematical Modelling for Teachers by

bigCover of the book Material Practice and Materiality: Too Long Ignored in Science Education by

bigCover of the book Pollutant Diseases, Remediation and Recycling by

bigCover of the book Touschek Lifetime Studies and Optimization of the European Synchrotron Radiation Facility by

bigCover of the book Design and Modeling of Mechanical Systems—III by

bigCover of the book Control Subject to Computational and Communication Constraints by

bigCover of the book Narratives in Black British Dance by

bigCover of the book Complex Networks X by

bigCover of the book Structured Object-Oriented Formal Language and Method by

bigCover of the book Multidetector-Row CT of the Thorax by

bigCover of the book Advances in Artificial Intelligence by

bigCover of the book A Pipelined Multi-core MIPS Machine 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