Mathematische Modellierung und Verifikation von SDL-Systemen / von Markus Rinderspacher
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1996Description: 117 S. : graph. DarstSubject(s): Genre/Form: RVK: RVK: ST 233Action note:- 3
| Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 96 DA 162 | ;c | Available | 45851379090 | ||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 96 DA 162 | ;b | Available | 40895656 | ||
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.D.Rin | Bibliothek / frei aufgestellt | D.D.Rin(21873) | Available | 000283948090 |
Total holds: 0
Archivierung prüfen 20250503 DE-640 3 pdager