Custom cover image
Understanding formal methods / written and transl. by Jean-François Monin. Transl. ed. Michael G. Hinchey
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: London ; Berlin ; Heidelberg [u.a.] : Springer, 2003Description: 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
Contents:
PPN: PPN: 354065130
Literaturverz. S. [255] - 267
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Mon | Bibliothek / frei aufgestellt | D.Mon(44554) | Available | 000453602090 |
Total holds: 0