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 Lebensmittelchemie by

bigCover of the book Proceedings of the FISITA 2012 World Automotive Congress by

bigCover of the book Reperfusion and Revascularization in Acute Myocardial Infarction by

bigCover of the book Praxishandbuch Web Dynpro ABAP by

bigCover of the book From Publishing to Knowledge Networks by

bigCover of the book Applied Conjoint Analysis by

bigCover of the book Biosystems Engineering I by

bigCover of the book Faktencheck Energiewende by

bigCover of the book Analytical Solutions for Transport Processes by

bigCover of the book Mechatronic Modeling of Real-Time Wheel-Rail Contact by

bigCover of the book Der diabetische Fuß by

bigCover of the book Diseases of the Inner Ear by

bigCover of the book Sampling Designs Dependent on Sample Parameters of Auxiliary Variables by

bigCover of the book Trigeminal Nerve Injuries 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