|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Edsger W. Dijkstra Note, Unknown Author->E. W. Dijkstra, 17.09.1976 about E.Dijkstra's style of programming
Note, Unknown Author->E. W. Dijkstra, 13.09.1976on the complexity of programming connected to program correctness proof
Note, Unknown Author->E. W. Dijkstra, 13.09.1976asking what is "software reliability"
Item 19. (Name does not exist in this language.)Item 20. (Name does not exist in this language.) Note, Unknown Author->E. W. Dijkstra, 13.09.1976 asking for details about the language for Simple Programs
Letter, A.P. Ershov->E. W. Dijkstra, 03.05.1983Ershov is informing Dijkstra of his prospective visit to Netherlands in June and asking about the possibility of meeting him there
Note, Unknown Author->E. W. Dijkstra, 13.09.1976Question about the visit's program; asking for the opinion on P. Brink Hansen's SOLO system
Item 21. (Name does not exist in this language.)Letters, A.P. Ershov->E. W. Dijkstra, 18.07.1978 Being IFIP 80 PC member Ershov will be able to visit Amsterdam several times. He will be glad to stay in September in Netherlands one or two days more for seeing van Wijngaarden and Dijkstra.
Telegram, 05.03.1979E.Dijkstra invites A.Ershov to visit him in Nuenen.
Minutes, E. W. Dijkstra ->D. Gries..., 08.08.1984Item 22. (Name does not exist in this language.) Note, Unknown Author->E. W. Dijkstra, 13.09.1976 on overcoming the inertia of the existing approach to programming
Telegram, E. W. Dijkstra ->A.P. Ershov, 26.05.1983cheduling the meetings in Nuenen and Leiden
Letterabout sending Prof. A.P. Ershov to Germany (justification enclosed)
Letter, 13.05.1980Note, Unknown Author->E. W. Dijkstra, 13.09.1976 Question on software developers' copyright protection in Western Europe
Item 23. (Name does not exist in this language.)Draft Telegrams, A.P. Ershov->E. W. Dijkstra, 07.09.1978 connected with Ershov's arrival to Amsterdam.
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 | |
|
|||||
|
|||||
|
|||||
|
|||||
|
