Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Model Checking Software
- 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Engelsk Paperback
Model Checking Software
- 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Engelsk Paperback

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

Om denne bog
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. formal analysis for modeling languages, such as UML/state charts;
Product detaljer
Sprog:
Engelsk
Sider:
153
ISBN-13:
9783031150760
Indbinding:
Paperback
Udgave:
ISBN-10:
3031150767
Kategori:
Udg. Dato:
23 aug 2022
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
23 aug 2022
Forfatter(e):
Kategori sammenhænge