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 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