Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung / von Alexander Kick
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1996Description: VI, 115 SSubject(s): Genre/Form: RVK: RVK: ST 233 | ST 140Action note:- 3
- Archivierung/Langzeitarchivierung gewährleistet DISS
| Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Archiv (Magazin CS) | Bibliothek Campus Süd | Archiv | 96 DA 205 | Available | 09042145277 | |||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 96 DA 205 | ;c | Available | 46004040090 | ||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 96 DA 205 | ;b | Available | 40903035 | ||
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.D.Kic | Bibliothek / frei aufgestellt | D.D.Kic(21874) | Available | 000283906090 |
Total holds: 0
Archivierung prüfen 20250503 DE-640 3 pdager
Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90