Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Kurze Geschichte der Informatik. Heinz Nixdorf MuseumsForum -- Wilhelm Fink Verlag, München, (2007)unter redaktioneller Mitarbeit von Norbert Ryska.Zuses "Plankalkül", ein Vorläufer der Programmiersprachen - gesehen vom Jahre 1972., and . Elektronische Rechenanlagen, 14 (3): 111-118 (1972)From Specifications to Machine Code: Program Construction through Formal Reasoning.. ICSE, page 84-93. IEEE Computer Society, (1982)Entzifferte Geheimnisse: Methoden und Maximen der Kryptologie. Springer, Berlin, 3., �berarb. u. erw. A. edition, (January 2000)Algorithmic language and program development., and . Texts and Monographs in Computer Science Springer, (1982)Towards a wide spectrum language to support program specification and program development., , , , and . Fachtagung über Programmiersprachen, volume 12 of Informatik-Fachberichte, page 73-85. Springer, (1978)Software Engineering.. Advanced Course: Software Engineering, volume 30 of Lecture Notes in Computer Science, page 522-545. Springer, (1972)Sequential Formula Translation (Reprint)., and . Commun. ACM, 26 (1): 9-13 (1983)Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation.. Program Construction, volume 69 of Lecture Notes in Computer Science, page 406-420. Springer, (1978)Special Transformation Techniques., , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 290-321. Springer, (1978)