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 Proceedings of 4th International Conference in Software Engineering for Defence Applications by

bigCover of the book Deep Brain Stimulation for Neurological Disorders by

bigCover of the book Advances in Human Factors in Simulation and Modeling by

bigCover of the book Advanced Separation Techniques for Polyolefins by

bigCover of the book 100 years of European Philosophy Since the Great War by

bigCover of the book Lattices of Dielectric Resonators by

bigCover of the book Complex Primary and Revision Total Knee Arthroplasty by

bigCover of the book Evolution of Karst in the Lower Part of Crna Reka River Basin by

bigCover of the book The Life Cycle of the Corpus Luteum by

bigCover of the book Quality of Experience by

bigCover of the book Motivation of Workers on Microtask Crowdsourcing Platforms by

bigCover of the book 100 Chemical Myths by

bigCover of the book Data Management Technologies and Applications by

bigCover of the book Convective Heat Transfer From Rotating Disks Subjected To Streams Of Air by

bigCover of the book Heavy Metal Contamination of Soils 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