Verification, Model Checking, and Abstract Interpretation

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

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

Autor: Dirk Beyer, Damien Zufferey

Język:

Oprawa: Miękka

Wydawca: Springer Nature Switzerland AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

338.51 zł

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

Informacje o książce

Autor

Dirk Beyer, Damien Zufferey

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2020

strony

471

EAN

9783030393212

Enbook ID

25366158

Wydawca

Springer Nature Switzerland AG

Waga

741

Wymiary

155 x 235 x 27

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również