Formal program development by goal splitting and backward loop formation

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Heisel, Maritta (VerfasserIn), Santen, Thomas (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Karlsruhe 1990
Schriftenreihe:	Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1990,32
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge