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 Process-Driven Applications with BPMN by

bigCover of the book Agromining: Farming for Metals by

bigCover of the book Leadership in Islam by

bigCover of the book Dynamic Substructures, Volume 4 by

bigCover of the book Numerical Methods in Matrix Computations by

bigCover of the book Non-standard Problems in Basin Modelling by

bigCover of the book Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs by

bigCover of the book miRNAs and Target Genes in Breast Cancer Metastasis by

bigCover of the book Good Practice in Archaeological Diagnostics by

bigCover of the book Turkish Cultural Policies in a Global World by

bigCover of the book Ambient Assisted Living by

bigCover of the book Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body and Motion by

bigCover of the book Natural and Artificial Computation for Biomedicine and Neuroscience by

bigCover of the book Intelligent Systems in Production Engineering and Maintenance by

bigCover of the book Particle Accelerator Physics 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