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 16.
(Name does not exist in this language.)
Item 16.
(Name does not exist in this language.)
about program correctness proof
Date: 13.09.1976
Original document language: Russian, English
Authors:
Unknown Author
Addressee:
Edsger W. Dijkstra
,
C. A. R. Hoare
Images of pages:
1
Back
Next document (Note)
Previous document (Note)
Switch to Russian
|
Search
|
Advanced search
|
Folders
| Themes
Home
Help
in Russian
Webmaster
©
Ershov's Institute of Informatics Systems
, 2000-2016