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

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,3Publisher: Karlsruhe : Univ., Fak. für Informatik, 1989Description: 156 S. : graph. DarstSubject(s): Action note:
  • 2
Call number: Grundsignatur: ZE 4617-1989,3[1989]PPN: PPN: 1648192696
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin ZE 4617-1989,3.1989 Available 27065840090
Freihandbestand Präsenznutzung Fachbibliothek Informatik Bibliothek / frei aufgestellt Z 167(23010) Not for loan 000733919090
Total holds: 0

Archivierung prüfen 20240511 DE-640 2 pdager