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 Economic Ethics in Late Medieval England, 1300–1500 by

bigCover of the book Budget-Impact Analysis of Health Care Interventions by

bigCover of the book The Basics of Cancer Immunotherapy by

bigCover of the book Magnetic Stochasticity in Magnetically Confined Fusion Plasmas by

bigCover of the book Digital Futures, Digital Transformation by

bigCover of the book Atlas of Pediatric Hepatology by

bigCover of the book A World with Robots by

bigCover of the book Sentiment Analysis in the Bio-Medical Domain by

bigCover of the book Local Welfare Policy Making in European Cities by

bigCover of the book Data Analysis, Machine Learning and Knowledge Discovery by

bigCover of the book Cell Therapy for Brain Injury by

bigCover of the book Human Chromosome Atlas by

bigCover of the book Love and Marriage Across Social Classes in American Cinema by

bigCover of the book Antibiotic and Antifungal Therapies in Dermatology by

bigCover of the book Food Nanoscience and Nanotechnology 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