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
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