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 Climate and Environmental Change in China: 1951–2012 by

bigCover of the book Dermatologic Complications with Body Art by

bigCover of the book Chromatography of Aroma Compounds and Fragrances by

bigCover of the book Progress in Nano-Electro-Optics I by

bigCover of the book Transactions on Computational Collective Intelligence XXIII by

bigCover of the book Symposium on Pathology of Axons and Axonal Flow by

bigCover of the book Chemie für Biologen by

bigCover of the book Synthesis and Optimization of Chalcogenides Quantum Dots Thermoelectric Materials by

bigCover of the book Handbook of Polymer Nanocomposites. Processing, Performance and Application by

bigCover of the book Pediatric Liver Tumors by

bigCover of the book Klinefelter’s Syndrome by

bigCover of the book Antifouling Surfaces and Materials 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