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 Betriebliche Risiken in der Nassbaggerei by

bigCover of the book Multidisciplinary Treatment of Hepatocellular Carcinoma by

bigCover of the book Model Driven Engineering and Ontology Development by

bigCover of the book Neurosciences at the Postgenomic Era by

bigCover of the book Dermatologic Surgery by

bigCover of the book UV-VIS and Photoluminescence Spectroscopy for Nanomaterials Characterization by

bigCover of the book Abdominal Angiography by

bigCover of the book Radioactivity Transfer in Environment and Food by

bigCover of the book Paleontology of Vertebrates by

bigCover of the book Chemotherapy and Radiotherapy of Gastrointestinal Tumors by

bigCover of the book Facets of Combinatorial Optimization by

bigCover of the book Project Management with Dynamic Scheduling 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