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 Cardiac Arrhythmias by

bigCover of the book NMR — From Spectra to Structures by

bigCover of the book Theoretische Festkörperphysik Band 1 by

bigCover of the book Das helle und das dunkle Universum by

bigCover of the book Sick Building Syndrome by

bigCover of the book Style in Translation: A Corpus-Based Perspective by

bigCover of the book Automated Theorem Proving in Software Engineering by

bigCover of the book Decision Science: A Human-Oriented Perspective by

bigCover of the book Exploring Learning & Teaching in Higher Education by

bigCover of the book Fibrin Sealing in Surgical and Nonsurgical Fields by

bigCover of the book Mercury from Gold and Silver Mining by

bigCover of the book Angst bewältigen by

bigCover of the book Portal Hypertension by

bigCover of the book Bats (Chiroptera) as Vectors of Diseases and Parasites 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