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 Foundations of Intelligent Systems by

bigCover of the book Performability in Internet of Things by

bigCover of the book Precarious Labour and Informal Economy by

bigCover of the book Discrete Causal Theory by

bigCover of the book Big Data Technologies and Applications by

bigCover of the book From Aristotle to Schrödinger by

bigCover of the book Modeling Thermodynamic Distance, Curvature and Fluctuations by

bigCover of the book Security, Economics and Nuclear Non-Proliferation Morality by

bigCover of the book Multiobjective Linear Programming by

bigCover of the book Fundamentals of Arc Spraying by

bigCover of the book Ensembles on Configuration Space by

bigCover of the book Human Aspects of IT for the Aged Population. Social Media, Games and Assistive Environments by

bigCover of the book The Structure and Evolution of the Sun by

bigCover of the book Romanticism and Aesthetic Life in Postcolonial Writing by

bigCover of the book Victorian Narratives of the Recent Past 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