( 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.

Michael James

Audrein James

Katherine James

Daniell Mitchell

Gail Mitchell

 

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

Subcontract: A Flexible Base for Distributed Programming., , и . SOSP, стр. 69-79. ACM, (1993)Operating System Review 27(5).Notes on the Design of Euclid., , , , и . Language Design for Reliable Software, стр. 11-18. ACM, (1977)File Servers.. Advanced Course: Local Area Networks, том 184 из Lecture Notes in Computer Science, стр. 221-259. Springer, (1983)A Comparison of Two Network-Based File Servers., и . SOSP, стр. 45-46. ACM, (1981)Operating System Review 15(5).An Overview of the Spring System., , , , , , , , , и . COMPCON, стр. 122-131. IEEE Computer Society, (1994)On the transfer of control between contexts., , и . Symposium on Programming, том 19 из Lecture Notes in Computer Science, стр. 181-203. Springer, (1974)On the problem of uniform references to data structures., и . Reliable Software, стр. 31-42. ACM, (1975)Proof Rules for the Programming Language Euclid., , , , , и . Program Construction, том 69 из Lecture Notes in Computer Science, стр. 133-163. Springer, (1978)Iron defecation by sperm whales stimulates carbon export in the southern ocean, , , , , , , и . Proceedings of the Royal Society B: Biological Sciences, (июня 2010)The Design and Construction of Flexible and Efficient Interactive Programming Systems. Outstanding Dissertations in the Computer Sciences Garland Publishing, New York, (1970)