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
Big bigCover of Verification, Model Checking, and Abstract Interpretation

More books from Springer International Publishing

bigCover of the book Justice, Education and the Politics of Childhood by
bigCover of the book New Frontiers in Oil and Gas Exploration by
bigCover of the book Belowground Defence Strategies in Plants by
bigCover of the book Runtime Verification by
bigCover of the book The Political Economy of Agricultural Booms by
bigCover of the book Language and Automata Theory and Applications by
bigCover of the book India's Climate Change Identity by
bigCover of the book Technology Entrepreneurship by
bigCover of the book Local Ownership in Asian Peacebuilding by
bigCover of the book Advances in Ergonomics in Design by
bigCover of the book Stochastic Finite Element Methods by
bigCover of the book Progress in Systems Engineering by
bigCover of the book Dis/abled Childhoods? by
bigCover of the book Neurotransmitter Interactions and Cognitive Function by
bigCover of the book The Mixed Member Proportional System: Providing Greater Representation for Women? 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