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 Electronic Beam Steering and Polarization Agile Planar Antennas in Liquid Crystal Technology by

bigCover of the book Consensus on Peirce’s Concept of Habit by

bigCover of the book Context-Enhanced Information Fusion by

bigCover of the book Sentiment Analysis in the Bio-Medical Domain by

bigCover of the book Inclusive Governance in South Asia by

bigCover of the book Postwar Conservatism, A Transnational Investigation by

bigCover of the book Multiprocessor Scheduling for Real-Time Systems by

bigCover of the book Optical Properties of Bismuth-Based Topological Insulators by

bigCover of the book Non-Western Social Movements and Participatory Democracy by

bigCover of the book Understanding the Lean Enterprise by

bigCover of the book Handbook of Food Processing Equipment by

bigCover of the book Proceedings of the International Conference of Mechatronics and Cyber-MixMechatronics – 2018 by

bigCover of the book Heart Failure: From Research to Clinical Practice by

bigCover of the book Manipulation of Allelopathic Crops for Weed Control by

bigCover of the book Evolutionary and Biologically Inspired Music, Sound, Art and Design 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