Verification, Model Checking, and Abstract Interpretation

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

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Autor: Dirk Beyer, Damien Zufferey

Limbă:

Legare: Carte broșată

Editura: Springer Nature Switzerland AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

442.93 lei

This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch...

Informații despre carte

Autor

Dirk Beyer, Damien Zufferey

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2020

Pagini

471

EAN

9783030393212

Enbook ID

25366158

Editura

Springer Nature Switzerland AG

Greutate

741

Dimensiuni

155 x 235 x 27

Descriere completă

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

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