B Method
| Autor: | Boulanger, Jean-Louis |
|---|---|
| EAN: | 9781785481567 |
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 300 |
| Produktart: | Gebunden |
| Veröffentlichungsdatum: | 15.12.2020 |
| Schlagworte: | Computers - General Information |
126,50 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects.
Weitere Produkte vom selben Autor