Suchergebnisse - Abrial, Jean-Raymond
- Treffer 1 – 7 von 7
-
1Modeling in Event-B: system and software engineeringVeröffentlicht 2010Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
E-Book -
2The B-Book: assigning programs to meaningsVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3The B-book: assigning programs to meaningsVeröffentlicht 1996Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
E-Book -
4The B-book: assigning programs to meaningsVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
5Modeling in Event-B: system and software engineeringVeröffentlicht 2010Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
6Modeling in Event-B: system and software engineeringVeröffentlicht 2010Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7The B-book: assigning programs to meaningsVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …