A meta-calculus for formal system development / Matthias Weber
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195Verlag: München ; Wien : Oldenbourg, 1991Beschreibung: 197 SISBN:- 3486219944
- 3
Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Exemplarnummer | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 DA 117 | ;b | Verfügbar | 31027926 | ||||
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 DA 117 | ;c | Verfügbar | 31027880 | ||||
Freihandbestand ausleihbar | Fachbibliothek Informatik | F.Web | Bibliothek / frei aufgestellt | F.Web(11390) | Verfügbar | 000166324090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20240511 DE-640 3 pdager