KIT | KIT-Bibliothek | Impressum

A formalization and implementation of Gries's program development method within the KIV environment

Heisel, Maritta



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 61989
Erscheinungsvermerk Karlsruhe 1989. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,3.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page