Autor der Publikation

Semantics of Nondeterministic and Noncontinuous Constructs.

, , und . Program Construction, Volume 69 von Lecture Notes in Computer Science, Seite 553-592. Springer, (1978)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Programmierte Struturen.. Programming Methodology, Volume 23 von Lecture Notes in Computer Science, Seite 444-465. Springer, (1974)An Algebraic Approach to the Standardization and the Certification of Graphics Software.. Comput. Graph. Forum, 2 (2-3): 153-166 (1983)Nichtdeterminismus - Das aktuelle Schlagwort., , und . Inform. Spektrum, 4 (2): 125-126 (1981)Relying on Abstraction to Facilitate Graphics Programming.. Comput. Graph. Forum, 1 (3): 124-128 (1982)Approaching a formal framework for graphics software standards.. Comput. Graph., 8 (1): 39-50 (1984)Towards a wide spectrum language to support program specification and program development., , , , und . Fachtagung über Programmiersprachen, Volume 12 von Informatik-Fachberichte, Seite 73-85. Springer, (1978)Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme.. Fachtagung über Programmiersprachen, Volume 53 von Informatik-Fachberichte, Seite 45-65. Springer, (1982)Semantics of Nondeterministic and Noncontinuous Constructs., , und . Program Construction, Volume 69 von Lecture Notes in Computer Science, Seite 553-592. Springer, (1978)Graphics and education.. Comput. Graph., 7 (1): 101-102 (1983)Towards a wide spectrum language to support program specification and program development., , , , , , , und . ACM SIGPLAN Notices, 13 (12): 15-24 (1978)