Verification, Model Checking, and Abstract Interpretation

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

Autor: Constantin Enea, Ruzica Piskac

Limbă:

Legare: Carte broșată

Editura: Springer Nature Switzerland AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.54 lei

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

Informații despre carte

Autor

Constantin Enea, Ruzica Piskac

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2019

Pagini

602

EAN

9783030112448

ISBN

3030112446

Enbook ID

21040880

Editura

Springer Nature Switzerland AG

Greutate

937

Dimensiuni

155 x 235 x 235

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Verification, Model Checking, and Abstract Interpretation

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și