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 The Classical Theory of Fields by

bigCover of the book Technology Management for Sustainable Production and Logistics by

bigCover of the book Generating Analog IC Layouts with LAYGEN II by

bigCover of the book Nanostructured Materials for Next-Generation Energy Storage and Conversion by

bigCover of the book Kritische Metalle in der Großen Transformation by

bigCover of the book Angewandte Datenanalyse by

bigCover of the book Neuro-Organisationskultur by

bigCover of the book The European Court of Human Rights as a Pathway to Impunity for International Crimes by

bigCover of the book The Course of Eating Disorders by

bigCover of the book Psychopharmacology: Current Trends by

bigCover of the book Infantile Zerebralparese by

bigCover of the book Event-Driven Surveillance by

bigCover of the book Uncertainty and Forecasting of Water Quality by

bigCover of the book Neurophysiologische Behandlung bei Erwachsenen 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