Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation
By: Herbert Klaeren
Contributors: Rheinisch-Westfälische Technische Hochschule Aachen
Published: 1980
Language: ger
Number of pages: 158
Notes: Thesis (doctoral)--Rheinisch-Westfälische Technische Hochschule Aachen, 1980.