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 Paperback

Verification, Model Checking, and Abstract Interpretation

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

596 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog
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;
Product detaljer
Sprog:
Engelsk
Sider:
340
ISBN-13:
9783031505201
Indbinding:
Paperback
Udgave:
ISBN-10:
3031505204
Udg. Dato:
3 jan 2024
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
3 jan 2024
Forfatter(e):
Finder produkter...
Kategori sammenhænge