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
Note
Note
requesting to speak in more detail about the advances in program correctness proof
Date: 13.09.1976
Original document language: Russian, English
Authors: Unknown Author
Addressee: Edsger W. Dijkstra

Images of pages:
1 2


Back
Next document 
Previous document 

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