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
Cover of the book Verification, Model Checking, and Abstract Interpretation by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319522340
Publisher: Springer International Publishing Publication: January 9, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319522340
Publisher: Springer International Publishing
Publication: January 9, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.

The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

** **

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.

The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

** **

More books from Springer International Publishing

Cover of the book Clinical Research and Practice by
Cover of the book Towards Zero Waste by
Cover of the book The Challenge of the Digital Economy by
Cover of the book Mobile Cloud Visual Media Computing by
Cover of the book Leadership and Literacy by
Cover of the book Advances in Information and Computer Security by
Cover of the book Supply Chain Disruption Management Using Stochastic Mixed Integer Programming by
Cover of the book Smart Card Research and Advanced Applications by
Cover of the book Membrane Proteins in Aqueous Solutions by
Cover of the book Intelligence and Security Informatics by
Cover of the book Risk Regulation in Non-Animal Food Imports by
Cover of the book Political Marketing and Management in the 2017 New Zealand Election by
Cover of the book Computational Inference and Control of Quality in Multimedia Services by
Cover of the book Internet of Things (IoT) Technologies for HealthCare by
Cover of the book Social and Ecological System Dynamics 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