Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "12142622X"
im Bestand: Gesamter Bestand

1 - 10 von 12

	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	Algebraische Spezifikation Klaeren, Herbert. - Berlin : Springer, 1983
	7	A constructive method for abstract algebraic software specification Klaeren, Herbert. - Aachen : RWTH, 1982
	8	Einführung in die abstrakte Software-Spezifikation Klaeren, Herbert. - Aachen : RWTH, 1982
	9	A simple class of algorithmic specifications for abstract software modules Klaeren, Herbert. - Aachen : RWTH, 1980
	10	Algebraic software specification and compiler generation Klaeren, Herbert. - Aachen : RWTH, 1980