Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings: 11990 - Brossura

 
9783030393212: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings: 11990
Brossura
ISBN 10: 3030393216 ISBN 13: 9783030393212
Casa editrice: Springer, 2020

Sinossi

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.&nbsp;<div>The 21 papers presented in this volume were carefully reviewed from 44 submissions.&nbsp;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.&nbsp;</div>

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2020
Lingua
Inglese
ISBN 10 
3030393216
ISBN 13 
9783030393212
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
488
Redattore
Beyer Dirk, Zufferey Damien
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783030393236: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Edizione in evidenza

ISBN 10:  3030393232 ISBN 13:  9783030393236
Casa editrice: Springer, 2020
Brossura