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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Heisel, Maritta (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Karlsruhe Univ., Fak. für Informatik 1989
Schriftenreihe:	Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 1989,3
Schlagworte:	Softwareentwicklung Künstliche Intelligenz Prüfprogramm
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge