Methods for semantics and specification Jean-Raymond Abrial ... (ed.)
Materialtyp:
TextSprache: Englisch Reihen: ; 117 | Dagstuhl-Seminar-Report ; 117Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995Beschreibung: 29 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 1
- Archivierung/Langzeitarchivierung gewährleistet PESL
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Reports (B) | Wadern, Dagstuhl IBFI SR 117 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000125459 |
Archivierung prüfen 20200919 DE-640 1 pdager
Archivierung/Langzeitarchivierung gewährleistet PESL pdager DE-291