Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Modeling in Event-B, Jean-Raymond Abrial
- Lingua
- Pubblicato
- 2010
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.