Benutzerdefiniertes Cover
Ein Modell zur Analyse programminhärenter Zusicherungen / Walter Kirchgässner
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 173Verlag: München ; Wien : Oldenbourg, 1988Beschreibung: 127 S : graph. DarstISBN:- 3486209256
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Exemplarnummer | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 88 DA 171 | ;c | Verfügbar | 45127609090 | ||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 88 DA 171 | ;b | Verfügbar | 21042314 | ||
| Freihandbestand ausleihbar | Fachbibliothek Informatik | E.Kir | Bibliothek / frei aufgestellt | E.Kir(09270) | Verfügbar | 000065283090 |
Anzahl Vormerkungen: 0