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 Biologie der Sinne by

bigCover of the book Digital Television by

bigCover of the book Theoretische Festkörperphysik Band 1 by

bigCover of the book Mathematische Strukturen by

bigCover of the book Proceedings of the FISITA 2012 World Automotive Congress by

bigCover of the book Maturation Phenomenon in Cerebral Ischemia II by

bigCover of the book FREIGHTVISION - Sustainable European Freight Transport 2050 by

bigCover of the book Nuclear Medicine Technology by

bigCover of the book Clinical Vascular Anatomy and Variations by

bigCover of the book Temporal and Spatial Patterns in Carbonate Platforms by

bigCover of the book Acetabular Dysplasia by

bigCover of the book Prediction and Classification of Respiratory Motion by

bigCover of the book Phytohormones and Abiotic Stress Tolerance in Plants 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