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 Solutions for Business, Culture and Religion in Eastern Europe and Beyond by

bigCover of the book Economic Ethics & the Black Church by

bigCover of the book Ambient Assisted Living by

bigCover of the book Global Governance of Intellectual Property in the 21st Century by

bigCover of the book Bilingual Learners and Social Equity by

bigCover of the book Quantum Entanglement of Complex Structures of Photons by

bigCover of the book Progress in Location-Based Services 2016 by

bigCover of the book Electronic Government by

bigCover of the book Social Responsibility and Sustainability by

bigCover of the book AI*IA 2018 – Advances in Artificial Intelligence by

bigCover of the book Recent Advances in Celestial and Space Mechanics by

bigCover of the book Professional Development and Quality in Early Childhood Education by

bigCover of the book Methods in Paleoecology by

bigCover of the book Neurolaryngology by

bigCover of the book Almost Periodicity, Chaos, and Asymptotic Equivalence 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