|
11 |
A simple class of algorithmic specifications for abstract software modules Klaeren, Herbert. - Aachen : RWTH, 1980
|
|
|
12 |
Algebraic software specification and compiler generation Klaeren, Herbert. - Aachen : RWTH, 1980
|
|
|
13 |
On parameterized abstract software modules using inductively specified operations Klaeren, Herbert. - Aachen : RWTH, 1980
|
|
|
14 |
The development of an interpreter by means of abstract algebraic software specifications Klaeren, Herbert. - Aachen : RWTH, 1980
|
|
|
15 |
Datenräume mit algebraischer Struktur Klaeren, Herbert. - Aachen : RWTH, 1978
|
|