Normale Ansicht MARC-Ansicht ISBD

A formalization and implementation of Gries's program development method within the KIV environment / Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik

Von: Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,3Verlag: Karlsruhe : Univ., Fak. für Informatik, 1989Beschreibung: 156 S. : graph. DarstSchlagwörter: Bearbeitungsvermerk:
  • 2
Call number: Grundsignatur: ZE 4617-1989,3[1989]PPN: PPN: 1648192696
Exemplare
Medientyp Heimatbibliothek Standort Signatur Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin ZE 4617-1989,3.1989 Verfügbar 27065840090
Freihandbestand Präsenznutzung Fachbibliothek Informatik Bibliothek / frei aufgestellt Z 167(23010) Nicht ausleihbar 000733919090
Anzahl Vormerkungen: 0

Archivierung prüfen 20240511 DE-640 2 pdager