( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Laws of Programming.

, , , , , , , , и . Commun. ACM, 30 (8): 672-686 (1987)Corrigendum: CACM 30(9): 770 (1987).

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.

R. A. A. Bowler

C R Jacob

C A Knorr

Mahmut Çag r c

J R C Cousland

 

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

Algorithm 65: find.. Commun. ACM, 4 (7): 321-322 (1961)Consistent and Complementary Formal Theories of the Semantics of Programming Languages., и . Acta Inf., (1974)Editorial.. J. Log. Comput., 4 (3): 215-216 (1994)Algebra of Logic Programming., , и . ICLP, стр. 184-199. MIT Press, (1999)Partial Correctness of Communicating Sequential Processes., и . ICDCS, стр. 1-12. IEEE Computer Society, (1981)A Trace Model for Pointers and Objects., и . ECOOP, том 1628 из Lecture Notes in Computer Science, стр. 1-17. Springer, (1999)Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.. The Analysis of Concurrent Systems, том 207 из Lecture Notes in Computer Science, стр. 132-133. Springer, (1983)The laws of OCCAM programming, и . Theoretical Computer Science, 60 (2): 177--229 (сентября 1988)An axiomatic definition of the programming language PASCAL, и . Acta Informatica, 2 (4): 335--355 (декабря 1973)The Verifying Compiler: A Grand Challenge for Computing Research.. CC, том 2622 из Lecture Notes in Computer Science, стр. 262-272. Springer, (2003)