Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Verification, Model Checking, and Abstract Interpretation
- 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Engelsk Paperback
Verification, Model Checking, and Abstract Interpretation
- 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Engelsk Paperback

716 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
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. 
Product detaljer
Sprog:
Engelsk
Sider:
471
ISBN-13:
9783030393212
Indbinding:
Paperback
Udgave:
ISBN-10:
3030393216
Udg. Dato:
7 feb 2020
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer Nature Switzerland AG
Oplagsdato:
7 feb 2020
Forfatter(e):
Kategori sammenhænge