Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Verification, Model Checking, and Abstract Interpretation

More books from Springer International Publishing

bigCover of the book Near Net Shape Manufacturing Processes by

bigCover of the book Foreign-Owned Banks by

bigCover of the book Dynamics of Adsorptive Systems for Heat Transformation by

bigCover of the book Perception and Discovery by

bigCover of the book Building Trust in Information by

bigCover of the book Advances in Self-Organizing Maps and Learning Vector Quantization by

bigCover of the book Microbes and Other Shamanic Beings by

bigCover of the book Asteroids Impacts, Crustal Evolution and Related Mineral Systems with Special Reference to Australia by

bigCover of the book Philosophizing Madness from Nietzsche to Derrida by

bigCover of the book Novel Functional Materials Based on Cellulose by

bigCover of the book Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges by

bigCover of the book Leakage Resilient Password Systems by

bigCover of the book The Evolved Athlete: A Guide for Elite Sport Enhancement by

bigCover of the book Collaborative Networks of Cognitive Systems 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