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 on the complexity of programming connected to program correctness proof Date: 13.09.1976 Original document language: Russian, English Authors: Unknown Author Addressee: Edsger W. Dijkstra 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