Verification, Model Checking, and Abstract Interpretation

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

Szerző: Constantin Enea, Ruzica Piskac

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer Nature Switzerland AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 795 Ft

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

Információk a könyvről

Szerző

Constantin Enea, Ruzica Piskac

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2019

oldal

602

EAN

9783030112448

ISBN

3030112446

Enbook ID

21040880

Kiadó

Springer Nature Switzerland AG

Súly

937

Méretek

155 x 235 x 235

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Verification, Model Checking, and Abstract Interpretation

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták