OBSCURE eine Spezifikations- und Verifikationsumgebung Jacques Loeckx
Materialtyp:
TextSprache: Deutsch Reihen: ; 1989,6 | Universität des Saarlandes Technischer Bericht / A ; 1989,6 | Verlag: Saarbrücken Fachbereich 14, Informatik, Univ. des Saarlandes 1989Beschreibung: 12 Bl. graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | 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) | FB 89/06 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000002372 |