( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof Rules for the Programming Language Euclid.

, , , , , и . Program Construction, том 69 из Lecture Notes in Computer Science, стр. 133-163. Springer, (1978)

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.

Katherine James

Audrein James

Michael James

Ammini James-Mammoottil

Rojin James

 

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

SIGPLAN 1: Should high level languages be used to write systems software? (Debate)., , и . ACM Annual Conference, стр. 204. ACM, (1975)A Tutorial on LARCH and LCL, A LARCH/C Interface Language., и . VDM Europe (2), том 552 из Lecture Notes in Computer Science, стр. 1-78. Springer, (1991)Verification of Euclid Programs.. Program Construction, том 69 из Lecture Notes in Computer Science, стр. 164-173. Springer, (1978)An Introduction to the Larch Shared Language., и . IFIP Congress, стр. 809-814. North-Holland/IFIP, (1983)Notes on the Design of Euclid., , , , и . Language Design for Reliable Software, стр. 11-18. ACM, (1977)Debugging Larch Shared Language Specifications., , и . IEEE Trans. Software Eng., 16 (9): 1044-1057 (1990)Larch: Languages and Tools for Formal Specification, , , , , и . Texts and Monographs in Computer Science Springer, (1993)The Development and Writing of "Process Structuring".. Dependable and Historic Computing, том 6875 из Lecture Notes in Computer Science, стр. 267-272. Springer, (2011)An Overview of Larch., , и . Functional Programming, Concurrency, Simulation and Automated Reasoning, том 693 из Lecture Notes in Computer Science, стр. 329-348. Springer, (1993)Some Notes on Putting Formal Specifications to Productive Use., , и . Sci. Comput. Program., 2 (1): 53-68 (1982)