Kniha momentálne nie je na sklade
Modeling in Event-B
Autori
Viac o knihe
This practical introduction to a model-based formal method offers a comprehensive exploration through a variety of illustrative examples. It aims to equip readers with the necessary tools and understanding to effectively apply this method in real-world scenarios, making complex concepts accessible and applicable.
Nákup knihy
Modeling in Event-B, Jean-Raymond Abrial
- Jazyk
- Rok vydania
- 2010
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Modeling in Event-B
- Jazyk
- anglicky
- Autori
- Jean-Raymond Abrial
- Vydavateľ
- Cambridge University Press
- Rok vydania
- 2010
- Väzba
- pevná
- Počet strán
- 614
- ISBN13
- 9780521895569
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- This practical introduction to a model-based formal method offers a comprehensive exploration through a variety of illustrative examples. It aims to equip readers with the necessary tools and understanding to effectively apply this method in real-world scenarios, making complex concepts accessible and applicable.