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
- Archivierung/Langzeitarchivierung gewährleistet DISS
| 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 | ||
| Archiv (Magazin CS) | Bibliothek Campus Süd | Archiv | 96 DA 162 | Available | 40913017 | |||
| 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
Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90