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 Meaning and Proscription in Formal Logic by

bigCover of the book Applications of Operations Research and Management Science by

bigCover of the book Improving Outcomes for Breast Cancer Survivors by

bigCover of the book Advances in Intelligent Data Analysis XIV by

bigCover of the book Structural Health Monitoring, Photogrammetry & DIC, Volume 6 by

bigCover of the book Thrombolytic Therapy for Acute Stroke by

bigCover of the book Augmenting Health and Social Care Students’ Clinical Learning Experiences by

bigCover of the book Queering Agatha Christie by

bigCover of the book Orienting Feminism by

bigCover of the book Advanced Physics of Electron Transport in Semiconductors and Nanostructures by

bigCover of the book Submarine Hydrodynamics by

bigCover of the book Smart Industry & Smart Education by

bigCover of the book In the Footsteps of Columbus 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