Könyv Verification, Model Checking, and Abstract Interpretation Dirk Beyer

Verification, Model Checking, and Abstract Interpretation

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
30 759 Ft
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2020
oldal
471
EAN
9783030393212
Enbook ID
25366158
Súly
741
Méretek
155 x 235 x 27

Teljes leírás

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.

Érdekelheti

Great War

John Morrow
15 129 Ft

Writing a Poem

Cecilia Minden
4 498 Ft
3 066 Ft
53 766 Ft
6 060 Ft
6 302 Ft

Curmudgeon

Bob Eggers
5 675 Ft
18 893 Ft
25 066 Ft

Getting Away with Murder

Vanessa A. Holloway
19 189 Ft
50 189 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

24 725 Ft
5 179 Ft
9 342 Ft
2 748 Ft

REMBRANDT

Jan Blanc
84 028 Ft
2 654 Ft
13 428 Ft
2 753 Ft

POEMAS

EMILY DICKINSON
4 968 Ft

Simon

George Sand
3 831 Ft
11 808 Ft