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 Foundations and Practical Applications of Cognitive Systems and Information Processing by

bigCover of the book Scientific Marketing in der Medizin by

bigCover of the book Feststoffgeschmierte Wälzlager by

bigCover of the book Linear Algebra for Economists by

bigCover of the book Cancer in Children by

bigCover of the book Public Procurement, Innovation and Policy by

bigCover of the book German Administrative Law by

bigCover of the book FBL Klein-Vogelbach Functional Kinetics Die Grundlagen by

bigCover of the book Cholecystokinin Antagonists in Gastroenterology by

bigCover of the book Multiagent Scheduling by

bigCover of the book European Instructional Lectures by

bigCover of the book Molecular Imaging in Oncology by

bigCover of the book Versorgungskonzepte für Menschen mit Demenz by

bigCover of the book The Pathophysiology of Pneumoperitoneum 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