A formalization and implementation of Gries's program development method within the KIV environment / Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik
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
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