Benutzerdefiniertes Cover
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 | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 DA 117 | ;c | Verfügbar | 31027880 | ||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 DA 117 | ;b | Verfügbar | 31027926 | ||
| Archiv (Magazin CS) | Bibliothek Campus Süd | Archiv | 91 DA 117 | Verfügbar | 31027960 | |||
| 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