Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Verification, Model Checking, and Abstract Interpretation
- 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Engelsk
Bogcover for Verification, Model Checking, and Abstract Interpretation af , 9783031505201
Specifikationer
Sprog:
Engelsk
Sider:
340
ISBN-13:
9783031505201
Indbinding:
Paperback
ISBN-10:
3031505204
Udg. Dato:
3 jan 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
3 jan 2024

Verification, Model Checking, and Abstract Interpretation

- 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Engelsk
Paperback 2024
Format:

Bog beskrivelse
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. program and system verification;
... Vis mere

Forlags Vejl. pris
757,27 kr
Hos Booktok
572 kr
spar 24%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
340
ISBN-13:
9783031505201
Indbinding:
Paperback
ISBN-10:
3031505204
Udg. Dato:
3 jan 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
3 jan 2024
Finder produkter...
Kategori sammenhænge