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 Editors Construct the Renaissance Canon, 1825-1915 by

bigCover of the book Social Manufacturing: Fundamentals and Applications by

bigCover of the book Silvopastoral Systems in Southern South America by

bigCover of the book Cañadell's Pediatric Bone Sarcomas by

bigCover of the book Cultural Due Diligence in Hospitality Ventures by

bigCover of the book Choreographing the Airport by

bigCover of the book The Leadership Hubris Epidemic by

bigCover of the book Biomechanics, Muscle Fibers, and How to Interface Experimental Apparatus to a Computer by

bigCover of the book Citizenship in Transnational Perspective by

bigCover of the book An Introduction to Place-Based Development Economics and Policy by

bigCover of the book Cyclostationarity: Theory and Methods III by

bigCover of the book Human-Computer Interaction. User Interface Design, Development and Multimodality by

bigCover of the book Computer Vision -- ACCV 2014 by

bigCover of the book New Approaches to Drug Discovery by

bigCover of the book Stochastic Petri Nets for Wireless Networks 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