Auflistung nach Autor "Partsch, Helmuth"
Anzeige der Dokumente 1-4 von 4
-
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen
Pepper, Peter; Broy, Manfred; Bauer, Friedrich L.; Partsch, Helmuth; Dosch, Walter; Wirsing, Martin
107-119 -
Konstruktion korrekter Programme durch Transformation
Partsch, Helmuth; Möller, Bernhard
309-323 -
Programmtransformationen - Das aktuelle Schlagwort
Bauer, Friedrich L.; Broy, Manfred; Partsch, Helmuth; Pepper, Peter
192-193 -
Requirements Engineering - Das aktuelle Schlagwort
Kühnel, Bernd; Partsch, Helmuth; Reinshagen, K.-P.
334-335