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
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 Vorfußchirurgie 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