Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art
By: Bernhard Rudolf Martin Maria Josko
Contributors: Rheinisch-Westfälische Technische Hochschule Aachen
Publisher: [s.n.]
Published: 1985
Place of publication: [s.l.]
Language: ger
Number of pages: 189
Notes: Thesis (doctoral)--Rheinisch-Westfälische Technische Hochschule Aachen, 1985.