|
21 |
Algebraic software specification and compiler generation Klaeren, Herbert. - Aachen : RWTH, 1980
|
|
|
22 |
Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation Klaeren, Herbert, 1980
|
|
|
23 |
On parameterized abstract software modules using inductively specified operations Klaeren, Herbert. - Aachen : RWTH, 1980
|
|
|
24 |
The development of an interpreter by means of abstract algebraic software specifications Klaeren, Herbert. - Aachen : RWTH, 1980
|
|
|
25 |
Datenräume mit algebraischer Struktur Klaeren, Herbert. - Aachen : RWTH, 1978
|
|