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 Posttraumatic Stress Disorder and Related Diseases in Combat Veterans by

bigCover of the book AI Approaches to the Complexity of Legal Systems by

bigCover of the book Augmented Reality, Virtual Reality, and Computer Graphics by

bigCover of the book Distance, Symmetry, and Topology in Carbon Nanomaterials by

bigCover of the book Digital Creativity Model and Its Relationship with Corporate Performance by

bigCover of the book The Political Economy of Governance by

bigCover of the book Progress in Artificial Intelligence by

bigCover of the book Haploidentical Transplantation by

bigCover of the book Computational Methods and Clinical Applications for Spine Imaging by

bigCover of the book Spirit-Filled World by

bigCover of the book Hybrid Micro-Machining Processes by

bigCover of the book Modern Methods of Construction Design by

bigCover of the book The EU after Lisbon 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