( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Behavior: A Temporal Approach to Process Modelling.

, , , и . Logic of Programs, том 193 из Lecture Notes in Computer Science, стр. 237-254. Springer, (1985)

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.

David Gries

David Gries

Katja Gries

Enno Gries

Dirk Gries

 

Другие публикации лиц с тем же именем

The 1990-91 Taulbee Survey Report., и . Computer, 25 (11): 69-75 (1992)Translator writing systems., и . Commun. ACM, 11 (2): 77-113 (1968)A Model and Temporal Proof System for Networks of Processes., , и . POPL, стр. 121-131. ACM Press, (1985)Current Ideas in Programming Methodology.. Program Construction, том 69 из Lecture Notes in Computer Science, стр. 77-93. Springer, (1978)Models for Re-Use.. FSTTCS, том 287 из Lecture Notes in Computer Science, стр. 373-375. Springer, (1987)Data Refinement and the Transform.. NATO ASI PDC, том 118 из NATO ASI Series, стр. 93-119. Springer, (1992)ProgramLive - master Java programming in a dynamic, self-paced learning environment., , и . Wiley, (2002)Report of the ACM Task Force on the Core of Computer Science, , , , , , и . ACM Press, New York, N.~Y., (1988)An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).. ICSE, стр. 200. IEEE Computer Society, (1976)The Science of Programming. Springer, (1981)