Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer
SKU: 40997221
Price: 62.09 EUR
Availability: InStock
Author: Constantin Enea
ISBN: 9783030112455

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea

Ruzica Piskac

Language

English

E-book Adobe ePub DRM

Libristo code: 40997221

Publishers Springer, January 2019

This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Full description

Libristo code: 40997221

152 b

62.09 € VAT included

In stock Immediate digital delivery

Customers also purchased

肚子隆隆 的 地震 (Cantonese Edition): 地震安全手冊 Heather L. Beal

Paperback

11.19 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.