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 Mathematical Methods in Economics and Social Choice by

bigCover of the book Natural Heritage from East to West by

bigCover of the book Häufige Hautkrankheiten im Kindesalter by

bigCover of the book Robotic Radiosurgery Treating Prostate Cancer and Related Genitourinary Applications by

bigCover of the book Anaphora Resolution by

bigCover of the book Face Transplantation by

bigCover of the book Foundations of Biophilosophy by

bigCover of the book Physics of Lakes by

bigCover of the book Shaped Beam Radiosurgery by

bigCover of the book Parallel Processing and Applied Mathematics by

bigCover of the book New Aspects of Storage and Release Mechanisms of Catecholamines by

bigCover of the book Elektronik für Ingenieure und Naturwissenschaftler by

bigCover of the book The Economics of Information Security and Privacy by

bigCover of the book Spine Surgery Basics 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