|
1 |
Subtyping and overloading in a functional programming language Plümicke, Martin. - Tübingen : WSI, 1994
|
|
|
2 |
2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen (2 : 1992 : Oberjoch). - Tübingen : WSI, 1992
|
|
|
3 |
Gibt es Software-Engineering? Klaeren, Herbert. - Tübingen : WSI, 1992
|
|
|
4 |
Vom Problem zum Programm Klaeren, Herbert. - Stuttgart : Teubner, 1991, 2., neubearb. und erw. Aufl.
|
|
|
5 |
Vom Problem zum Programm Klaeren, Herbert. - Stuttgart : Teubner, 1990
|
|
|
6 |
A clean Modula-2 interface to abstract data types Klaeren, Herbert. - Tübingen : WSI, 1989
|
|
|
7 |
A new implementation technique for recursive function definitions Klaeren, Herbert. - Aachen : RWTH, Fachgruppe Informatik, 1987
|
|
|
8 |
Algebraische Spezifikation Klaeren, Herbert. - Berlin : Springer, 1983
|
|
|
9 |
A constructive method for abstract algebraic software specification Klaeren, Herbert. - Aachen : RWTH, 1982
|
|
|
10 |
Einführung in die abstrakte Software-Spezifikation Klaeren, Herbert. - Aachen : RWTH, 1982
|
|