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 Controlled Reproduction of Wild Eurasian Perch by

bigCover of the book Operations Research Proceedings 2012 by

bigCover of the book Support Vector Machines and Perceptrons by

bigCover of the book Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications by

bigCover of the book Application of the Political Economy to Rural Health Disparities by

bigCover of the book Sexual Orientation and Transgender Issues in Organizations by

bigCover of the book Baltic Crustaceans by

bigCover of the book Introduction to Artificial Intelligence by

bigCover of the book Interdisciplinary Perspectives on Fairness, Equity, and Justice by

bigCover of the book Families and Technology by

bigCover of the book Knowledge Science, Engineering and Management by

bigCover of the book Bernstein Operators and Their Properties by

bigCover of the book The Structural Integrity of Carbon Fiber Composites by

bigCover of the book Cognitive Theory and Documentary Film 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