Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Modeling in Event-B, Jean-Raymond Abrial
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.