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 Choosing and Using Digital Games in the Classroom by

bigCover of the book Sexual Crime and Prevention by

bigCover of the book Smart Sensors at the IoT Frontier by

bigCover of the book Human and Robot Hands by

bigCover of the book Scientific Writing and Communication in Agriculture and Natural Resources by

bigCover of the book Regions in Transition in the Former Soviet Area by

bigCover of the book Knowledge Discovery, Knowledge Engineering and Knowledge Management by

bigCover of the book Complementary and Alternative Medicine by

bigCover of the book Human-Computer Interaction. Theory, Design, Development and Practice by

bigCover of the book All-Optical Signal Processing by

bigCover of the book Lectures on Hyperhamiltonian Dynamics and Physical Applications by

bigCover of the book Equestrian Cultures in Global and Local Contexts by

bigCover of the book Advanced Treatment Technologies for Urban Wastewater Reuse by

bigCover of the book Social Media for Knowledge Sharing in Automotive Repair by

bigCover of the book State, Institutions and Democracy 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