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 16th Congress of the International Society for Forensic Haemogenetics (Internationale Gesellschaft für forensische Hämogenetik e.V.), Santiago de Compostela, 12–16 September 1995 by

bigCover of the book Entwicklungspsychologie des Jugendalters by

bigCover of the book Simulating Knowledge Dynamics in Innovation Networks by

bigCover of the book Cutaneous Receptors by

bigCover of the book The Nexus between Artificial Intelligence and Economics by

bigCover of the book Lungenmetastasen by

bigCover of the book Strategischer Wettbewerb by

bigCover of the book Ergotherapie individualisiert gestalten by

bigCover of the book Der Untergang von Mathemagika by

bigCover of the book Telegraph Processes and Option Pricing by

bigCover of the book Systemanalyse kompakt by

bigCover of the book Online-Marketing für die erfolgreiche Zahnarztpraxis by

bigCover of the book Microseismic Monitoring and Geomechanical Modelling of CO2 Storage in Subsurface Reservoirs by

bigCover of the book Die Geheimnisse unseres Gehirns 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