|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with C. A. R. Hoare Item 16. (Name does not exist in this language.) about program correctness proof
Presentations schedulefor professors Dijkstra and Hoare during their visit
Letter, A.P. Ershov->V. M. Glushkov, 26.08.1976requesting to appoint a person responsible for the reception of Prof. Dijkstra and Hoare in Kiev
Telegram, A.P. Ershov->Tony Hoare, 05.02.1975Preliminary program, 25.08.1976(?) of E.Dijkstra's and A.Hoare's visit to the USSR Academy of Sciences
Proposals, 10.01.1985(?)Covering letter, Tony Hoare->A.P. Ershov..., 23.12.1974(?) Letter (hand-written), A.P. Ershov->Tony Hoare, 20.04.1982 Letter about sending Prof. A.P. Ershov to Germany (justification enclosed)
Letter, Tony Hoare->A.P. Ershov, 21.03.1983Pr. Hoare regretfully declines to participate in the Congress panel discussion.
Article (in Russian), 01.01.1992-30.04.1992"The Book of his Life" (dedicated to A. Ershov), "Nauka v Rossii", ¹ 1-2, Jan.-Apr. 1992
Article (in English), 01.03.1992-30.06.1992"The Book of his Life" (dedicated to A. Ershov), "Science in Russia", ¹ 2-3, March-June 1992
Letter, 25.06.1986On the Hoare's advise the addressee regularly receives copies of various titles from the Prentice-Hall computer series, not only for his own interest, but also for possible translation some of them into Russian language. This time the titles of three books are informed.
Note, Unknown Author->E. W. Dijkstra, 13.09.1976Question on software developers' copyright protection in Western Europe
Note, V. A. Sukhomlin->E. W. Dijkstra, 13.09.1976with the question about the speaker's opinion on the requirements to a student's term project (diploma) in system programming
Letter, Tony Hoare->A.P. Ershov, 18.06.1982Covering letter, Tony Hoare->o the members of IFIP WG 2.1, 22.02.1968 Item 26. (Name does not exist in this language.) Letter on a Form (handwritten), Tony Hoare->A.P. Ershov, 03.02.1988 The author thanks for the addressee's introduction to his book and for fair and frank critigue which he took to his heart.
Letter, Tony Hoare->A.P. Ershov, 26.05.1981is an answer to Ershov letter of May, 11, 1981.
1 2 3 4 5 6 7 8 9 10 11 12 Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
