A meta-calculus for formal system development / Matthias Weber
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195Publisher: München ; Wien : Oldenbourg, 1991Description: 197 SISBN:- 3486219944
- 3
Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 DA 117 | ;b | Available | 31027926 | ||||
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 DA 117 | ;c | Available | 31027880 | ||||
Freihandbestand ausleihbar | Fachbibliothek Informatik | F.Web | Bibliothek / frei aufgestellt | F.Web(11390) | Available | 000166324090 |
Total holds: 0
Archivierung prüfen 20240511 DE-640 3 pdager