Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Nonfiction, Computers, Programming, 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 Excel 2013 for Physical Sciences Statistics by

bigCover of the book Hypertension and the Brain as an End-Organ Target by

bigCover of the book Advances in Information Retrieval by

bigCover of the book Perspectives on Earthquake Geotechnical Engineering by

bigCover of the book Critical Essays on Twin Peaks: The Return by

bigCover of the book Big Data Benchmarking by

bigCover of the book Integrating Behaviorism and Attachment Theory in Parent Coaching by

bigCover of the book Clinical Psychopharmacology for Neurologists by

bigCover of the book Responsible Living by

bigCover of the book Female Bodies and Sexuality in Iran and the Search for Defiance by

bigCover of the book Robot Intelligence Technology and Applications 4 by

bigCover of the book Computational Analysis by

bigCover of the book Information and Interaction by

bigCover of the book Thyroid Disorders by

bigCover of the book Primary Care for Emergency Physicians 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