Mohlo by sa vám tiež páčiť

Viac informácií o knihe Rigorous State-Based Methods

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 187 bodov

Anotácia 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. 

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

• Celý názov: Rigorous State-Based Methods
• Podnázov: 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
• Väzba: Brožovaná
• Počet strán: 396
• EAN: 9783031331626
• ID: 43225194
• Nakladateľ: Springer, Berlin
• Hmotnosť: 553 g
• Rozmery: 235 × 155 mm
• Dátum vydania: 19. August 2023

Obľúbené z iného súdka

---

---

---