Uwe Glasser,
Uwe Glässer,
Jose Creissac Campos,
Dominique Mery,
Dominique Méry,
Philippe Palanque
e.a.
Rigorous State-Based Methods
9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Paperback EN 2023 9783031331626Levertijd ± 16 werkdagen
Gratis verzonden
Samenvatting
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. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Specificaties
ISBN13:9783031331626
Taal:EN
Bindwijze:Paperback
Aantal pagina's:380
Uitgever:Springer International Publishing AG
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan