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 Newton-Type Methods for Optimization and Variational Problems by

bigCover of the book Introduction to Intelligent Surveillance by

bigCover of the book Business Dynamics in North America by

bigCover of the book Information Loss in Deterministic Signal Processing Systems by

bigCover of the book The United Kingdom’s Defence After Brexit by

bigCover of the book Sustainable Transportation Options for the 21st Century and Beyond by

bigCover of the book Industrial Applications of Holonic and Multi-Agent Systems by

bigCover of the book Women in STEM Disciplines by

bigCover of the book Community Education and Neoliberalism by

bigCover of the book Shōjo Across Media by

bigCover of the book Tumor Microenvironment by

bigCover of the book International Policy Diffusion and Participatory Budgeting by

bigCover of the book Gelled Bicontinuous Microemulsions by

bigCover of the book Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 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