Benutzerdefiniertes Cover
Understanding formal methods / written and transl. by Jean-François Monin. Transl. ed. Michael G. Hinchey
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: London ; Berlin ; Heidelberg [u.a.] : Springer, 2003Beschreibung: XV, 275 S : graph. DarstISBN:- 1852332476
- 9781852332471
- Introduction aux méthodes formelles <engl.>
- Monin, Jean-François, 1960-. Introduction aux méthodes formelles <engl.>
- 004.0151
- 004/.01/51
- QA76.6
Inhalte:
PPN: PPN: 354065130
Literaturverz. S. [255] - 267
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Mon | Bibliothek / frei aufgestellt | D.Mon(44554) | Verfügbar | 000453602090 |
Anzahl Vormerkungen: 0