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 Economic Transformation and Business Opportunities in Asia by
Cover of the book Cloud Mobile Networks by
Cover of the book Social Return on Investment Analysis by
Cover of the book The Overactive Pelvic Floor by
Cover of the book Excel 2010 for Human Resource Management Statistics by
Cover of the book International Scientific Conference Energy Management of Municipal Facilities and Sustainable Energy Technologies EMMFT 2018 by
Cover of the book Machine Learning and Knowledge Discovery in Databases by
Cover of the book Therapeutic Use of Medicinal Plants and their Extracts: Volume 2 by
Cover of the book The Textbook of Clinical Sexual Medicine by
Cover of the book Functional Analysis by
Cover of the book PIP Joint Fracture Dislocations by
Cover of the book Hydrogeomorphic Risk Analysis Affecting Chalcolithic Archaeological Sites from Valea Oii (Bahlui) Watershed, Northeastern Romania by
Cover of the book Data Analysis by
Cover of the book A Conceptual Model for Designing Recycled Aggregate Concrete for Structural Applications by
Cover of the book Lifetime Environmental Impact of Buildings 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