Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1996Grundreduzierbarkeitstests und ihre Anwendungen in der Programmsynthese
Schmid, K.
: Fettig, R. (Prüfer)
Diplomarbeit
1991Stepwise software development with algebraic specifications
Beierle, C.; Voß, A.
Zeitschriftenaufsatz
1989Algebraic specification of a reusable expert system
Voß, A.
Buch