Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, 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 International Publishing

bigCover of the book Observer's Guide to Variable Stars by

bigCover of the book Advances in Dynamic Games by

bigCover of the book Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness by

bigCover of the book Parallel Robots With Unconventional Joints by

bigCover of the book Biofuels and Food Security by

bigCover of the book Neoplastic Diseases of the Blood by

bigCover of the book Qualitative Investment Decision-Making Methods under Hesitant Fuzzy Environments by

bigCover of the book Surgical Aspects of Peritoneal Dialysis by

bigCover of the book Simulation Approach Towards Energy Flexible Manufacturing Systems by

bigCover of the book Neutrophilic Dermatoses by

bigCover of the book Sex Hormones, Exercise and Women by

bigCover of the book Centrality of History for Theory Construction in Psychology by

bigCover of the book Progestogens in Obstetrics and Gynecology by

bigCover of the book Cognitive Computing for Big Data Systems Over IoT 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