Ein Modell zur Analyse programminhärenter Zusicherungen / Walter Kirchgässner

Von:

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:

Schlagwörter:

Genre/Form:

MSC: MSC: *68Q60 | 68W30 | 68N20RVK: RVK: SI 210Note: Hinweis: Mehrere Exemplare vorhandenBearbeitungsvermerk:

Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1988 Call number: Grundsignatur: 88 DA 171PPN: PPN: 013353632

Exemplare
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
Archiv (Magazin CS)	Bibliothek Campus Süd		Archiv	88 DA 171		Verfügbar	21042518
Freihandbestand ausleihbar	Fachbibliothek Informatik	E.Kir	Bibliothek / frei aufgestellt	E.Kir(09270)		Verfügbar	000065283090

Anzahl Vormerkungen: 0

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90