Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Rigorous State-Based Methods
- 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Engelsk
Bogcover for Rigorous State-Based Methods af , 9783031331626
Specifikationer
Sprog:
Engelsk
Sider:
380
ISBN-13:
9783031331626
Indbinding:
Paperback
Udgave:
ISBN-10:
3031331621
Udg. Dato:
15 maj 2023
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
15 maj 2023
Forfatter(e):

Rigorous State-Based Methods

- 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Engelsk
Paperback
Format:

Om denne bog
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Forlags Vejl. pris
693,01 kr
Hos Booktok
601 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
380
ISBN-13:
9783031331626
Indbinding:
Paperback
Udgave:
ISBN-10:
3031331621
Udg. Dato:
15 maj 2023
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
15 maj 2023
Forfatter(e):
Finder produkter...
Kategori sammenhænge