Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Rigorous State-Based Methods
- 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Engelsk Paperback
Rigorous State-Based Methods
- 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Engelsk Paperback

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

Om denne bog
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. 

The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. 
Product detaljer
Sprog:
Engelsk
Sider:
167
ISBN-13:
9783030775421
Indbinding:
Paperback
Udgave:
ISBN-10:
3030775429
Udg. Dato:
23 maj 2021
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer Nature Switzerland AG
Oplagsdato:
23 maj 2021
Forfatter(e):
Vi anbefaler også
Kategori sammenhænge