documents   about archive   about project   Andrei Ershov   in Russian
Archive
Scientific and Technical Collaboration
Visits of foreign scientists to the Computing Center of the USSR SBAS
E.Dijkstra's and A.Hoare's Visit
Notes from the audience
Item 41. (Name does not exist in this language.)
Item 42. (Name does not exist in this language.)
Note, Unknown Author->E. W. Dijkstra, 13.09.1976
requesting to speak in more detail about the advances in program correctness proof
Item 44. (Name does not exist in this language.)
Item 45. (Name does not exist in this language.)
Item 46. (Name does not exist in this language.)
Item 47. (Name does not exist in this language.)
Item 48. (Name does not exist in this language.)
Item 49. (Name does not exist in this language.)
Item 50. (Name does not exist in this language.)
Item 51. (Name does not exist in this language.)
Item 52. (Name does not exist in this language.)
Item 53. (Name does not exist in this language.)
Item 54. (Name does not exist in this language.)
Item 55. (Name does not exist in this language.)
Item 56. (Name does not exist in this language.)
Item 57. (Name does not exist in this language.)

1 2 3
Initial order | In alphabetical order | By date

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016