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 Analytic Methods of Sound Field Synthesis by

bigCover of the book Lean and Cleaner Production by

bigCover of the book Genetic Research in Psychiatry by

bigCover of the book Clinical Endocrinology by

bigCover of the book Prostate Cancer 2000 by

bigCover of the book Clinical Aspects of Inner Ear Deafness by

bigCover of the book MicroRNA Expression Detection Methods by

bigCover of the book Financial Modeling, Actuarial Valuation and Solvency in Insurance by

bigCover of the book Risikomanagement bei Public Private Partnerships by

bigCover of the book Aspects of Fluvial Sedimentation in the Lower Triassic Buntsandstein of Europe by

bigCover of the book Der Ingenieur als GmbH-Geschäftsführer by

bigCover of the book Green and Sustainable Pharmacy by

bigCover of the book Bio-Inspired Computing -- Theories and Applications by

bigCover of the book Form and Function of Mammalian Lung: Analysis by Scientific Computing 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