Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319522333 - January 12, 2017
In case cover and title do not match, the title is correct

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings - Lecture Notes in Computer Science 1st ed. 2017 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 8 - 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

560 pages, 150 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 12, 2017
ISBN13 9783319522333
Publishers Springer International Publishing AG
Pages 560
Dimensions 155 × 235 × 30 mm   ·   8.66 kg
Language German  
Editor Bouajjani, Ahmed
Editor Monniaux, David

Mere med samme udgiver