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 Population Mobility, Urban Planning and Management in China by

bigCover of the book New Approaches to Literature for Language Learning by

bigCover of the book Psychosocial Perspectives on Peacebuilding by

bigCover of the book Technology and the End of Authority by

bigCover of the book Analysis and Geometry by

bigCover of the book Classification in BioApps by

bigCover of the book Internet Science by

bigCover of the book Piezoelectric Actuators and Generators for Energy Harvesting by

bigCover of the book Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries by

bigCover of the book Space Radiation and Astronaut Safety by

bigCover of the book Characterization of Metals and Alloys by

bigCover of the book Magnetic Interactions in Molecules and Solids by

bigCover of the book OB-GYN Pathology for the Clinician 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