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 Pressure-Induced Phase Transitions in AB2X4 Chalcogenide Compounds by

bigCover of the book Signal Transduction and Bacterial Virulence by

bigCover of the book Optical Properties of Advanced Materials by

bigCover of the book CSR und Diversity Management by

bigCover of the book Studies in Oat Evolution by

bigCover of the book Intelligent Multimedia Surveillance by

bigCover of the book Oncology of CNS Tumors by

bigCover of the book Rauchfrei in 5 Wochen by

bigCover of the book Transfer of Business and Acquired Employee Rights by

bigCover of the book Clinical Ophthalmic Oncology by

bigCover of the book Vergleichende Verhaltensforschung und Phylogenetik by

bigCover of the book The FORA Framework by

bigCover of the book Multiple Origins of Sex Differences in Brain by

bigCover of the book Standards for the Socioeconomic Evaluation of Health Care Services 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