Mohlo by se vám také líbit

Více informací o knize Rigorous State-Based Methods

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 257 bodů

Anotace knihy

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. 

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Rigorous State-Based Methods
• Podnázev: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
• Autor: Uwe Glässer, Jose Croissac Campos, Dominique Méry, Philippe Palanque
• Jazyk: Angličtina
• Vazba: Brožovaná
• EAN: 9783031331626
• ID: 43225194
• Nakladatelství: Springer, Berlin
• Rozměry: 235 × 155 mm
• Datum vydání: 19. August 2023

---

---

---