Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. 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 Berlin Heidelberg

bigCover of the book Modern Theory of Magnetism in Metals and Alloys by

bigCover of the book Atlas of Oral Diseases by

bigCover of the book Lean Software Development in Action by

bigCover of the book Community-Built Databases by

bigCover of the book JIMD Reports - Case and Research Reports, 2011/3 by

bigCover of the book Diffeomorphisms of Elliptic 3-Manifolds by

bigCover of the book A Course in In-Memory Data Management by

bigCover of the book Hodgkin Lymphoma by

bigCover of the book Microstructured Materials: Inverse Problems by

bigCover of the book Decoding the Mechanisms of Antikythera Astronomical Device by

bigCover of the book Reaction Patterns of the Lymph Node by

bigCover of the book Clusters in Automotive and Information & Communication Technology by

bigCover of the book Emergency Orthopedics by

bigCover of the book From Nutrition Support to Pharmacologic Nutrition in the ICU 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