Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer Nature Switzerland AG
SKU: 9783030112448
Price: 52.68 EUR
Availability: InStock

Автор: Constantin Enea, Ruzica Piskac

Език:

Корици: С меки корици

Издател: Springer Nature Switzerland AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.68 € 103.02 лв

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

Информация за книгата

Автор

Constantin Enea, Ruzica Piskac

Език

Английски език

Корици

Книга - С меки корици

Издадена

2019

страници

602

EAN

9783030112448

ISBN

3030112446

Enbook ID

21040880

Издател

Springer Nature Switzerland AG

Теглоt

937

Размери

155 x 235 x 235

Пълно описание

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 abstract

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Verification, Model Checking, and Abstract Interpretation

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също