( en | de | ru )

 

Disambiguierung von "Gries, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs.

. IEEE Trans. Software Eng., 2 (4): 238-244 (1976)correction: TSE 3(3): 262 (1977).

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.

David Gries

David Gries

Katja Gries

Enno Gries

Herbert Gries

 

Weitere Publikationen von Autoren mit dem selben Namen

Equational Propositional Logic., und . Inf. Process. Lett., 53 (3): 145-152 (1995)Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time., und . Inf. Process. Lett., 11 (2): 68-69 (1980)An Optimal Parallel Algorithm for Generating Combinations., , und . Inf. Process. Lett., 33 (3): 135-139 (1989)Correction to Än Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs".. IEEE Trans. Software Eng., 3 (3): 262 (1977)see: IEEE Trans. Software Eng. 2(4): 238-244(1976).The 1989-90 Taulbee Survey., und . Commun. ACM, 35 (1): 132-143 (1992)An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).. ICSE, Seite 200. IEEE Computer Society, (1976)The Science of Programming.. Texts and Monographs in Computer Science Springer, (1981)ProgramLive - master Java programming in a dynamic, self-paced learning environment., , und . Wiley, (2002)A Model and Temporal Proof System for Networks of Processes., , und . POPL, Seite 121-131. ACM Press, (1985)Is Sometimes Ever Better Than Alway?. ACM Trans. Program. Lang. Syst., 1 (2): 258-265 (1979)