Custom cover image
Ein Modell zur Analyse programminhärenter Zusicherungen / Walter Kirchgässner
Resource type: Ressourcentyp: BuchBookLanguage: German Series: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 173Publisher: München ; Wien : Oldenbourg, 1988Description: 127 S : graph. DarstISBN:- 3486209256
| 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 | 88 DA 171 | ;b | Available | 21042314 | ||||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 88 DA 171 | ;c | Available | 45127609090 | ||||
| Freihandbestand ausleihbar | Fachbibliothek Informatik | E.Kir | Bibliothek / frei aufgestellt | E.Kir(09270) | Available | 000065283090 |
Total holds: 0