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 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