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 Entrepreneurship in Emerging Economies by

bigCover of the book Security Threats and Public Perception by

bigCover of the book Neo-/Victorian Biographilia and James Miranda Barry by

bigCover of the book A Theory of Philosophical Fallacies by

bigCover of the book Intelligent Computing Systems by

bigCover of the book Applied Reconfigurable Computing by

bigCover of the book Physical Properties and Behaviour of High-Performance Concrete at High Temperature by

bigCover of the book Metal Impurities in Silicon- and Germanium-Based Technologies by

bigCover of the book Advances in Machine Learning and Signal Processing by

bigCover of the book Information Geometry by

bigCover of the book A Course in Classical Physics 3 — Electromagnetism by

bigCover of the book Context-Enhanced Information Fusion by

bigCover of the book Chemistry and Hygiene of Food Additives 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