Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Formal Aspects of Component Software
- 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Engelsk Paperback
Formal Aspects of Component Software
- 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Engelsk Paperback

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

Om denne bog
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.
The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.
Product detaljer
Sprog:
Engelsk
Sider:
245
ISBN-13:
9783031208713
Indbinding:
Paperback
Udgave:
ISBN-10:
3031208714
Udg. Dato:
3 nov 2022
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
3 nov 2022
Forfatter(e):
Kategori sammenhænge