Store besparelser
Hurtig levering
Fri fragt over 499,-
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
Bogcover for Verification, Model Checking, and Abstract Interpretation af , 9783030393212
Specifikationer
Sprog:
Engelsk
Sider:
471
ISBN-13:
9783030393212
Indbinding:
Paperback
ISBN-10:
3030393216
Udg. Dato:
7 feb 2020
Størrelse i cm:
15,5 x 23,4 x 2,9
Oplagsdato:
7 feb 2020

Verification, Model Checking, and Abstract Interpretation

- 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Engelsk
Paperback 2020
Format:

Bog beskrivelse
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. 
... Vis mere

Forlags Vejl. pris
815,53 kr
Hos Booktok
613 kr
spar 25%
Læg i kurv nu
Sikker betaling
6 - 8 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
471
ISBN-13:
9783030393212
Indbinding:
Paperback
ISBN-10:
3030393216
Udg. Dato:
7 feb 2020
Størrelse i cm:
15,5 x 23,4 x 2,9
Oplagsdato:
7 feb 2020
Finder produkter...
Kategori sammenhænge