Verification, Model Checking, and Abstract Interpretation

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

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

Autor: Dirk Beyer, Damien Zufferey

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer Nature Switzerland AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

80.06 €

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

Informácie o knihe

Autor

Dirk Beyer, Damien Zufferey

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2020

Stránok

471

EAN

9783030393212

Enbook ID

25366158

Vydavateľ

Springer Nature Switzerland AG

Hmotnosť

741

Rozmery

155 x 235 x 27

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Verification, Model Checking, and Abstract Interpretation

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež