Custom cover image
Custom cover image

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

By: 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
Subject(s): Genre/Form: MSC: MSC: *68Q60 | 68W30 | 68N20RVK: RVK: SI 210Note: Hinweis: Mehrere Exemplare vorhandenDissertation note: Zugl.: Karlsruhe, Univ., Diss., 1988 Call number: Grundsignatur: 88 DA 171PPN: PPN: 013353632
Holdings
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

Powered by Koha