Das Buch ist derzeit nicht auf Lager
Modeling in Event-B
Autoren
Mehr zum Buch
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.
Buchkauf
Modeling in Event-B, Jean-Raymond Abrial
- Sprache
- Erscheinungsdatum
- 2010
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Modeling in Event-B
- Sprache
- Englisch
- Autor*innen
- Jean-Raymond Abrial
- Verlag
- Cambridge University Press
- Erscheinungsdatum
- 2010
- Einband
- Hardcover
- Seitenzahl
- 614
- ISBN13
- 9780521895569
- Kategorie
- Informatik & Programmierung
- Beschreibung
- 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.