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 Mini-Grids for Rural Electrification of Developing Countries by

bigCover of the book Optimization and Optimal Control in Automotive Systems by

bigCover of the book Computing in Research and Development in Africa by

bigCover of the book The Protos Mandate by

bigCover of the book Coriolis Vibratory Gyroscopes by

bigCover of the book Transnational Histories of the 'Royal Nation' by

bigCover of the book A Readable Introduction to Real Mathematics by

bigCover of the book Landslide Databases as Tools for Integrated Assessment of Landslide Risk by

bigCover of the book Baltic Crustaceans by

bigCover of the book Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data by

bigCover of the book Virtue Epistemology Naturalized by

bigCover of the book Arabic Language Processing: From Theory to Practice by

bigCover of the book Vladimir Solov’ëv's Justification of the Moral Good by

bigCover of the book European Film and Television Co-production by

bigCover of the book Transfusion Management of the Obstetrical Patient 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