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 questions on automation and program correctness Date: 13.09.1976 Original document language: Russian Authors: Unknown Author Addressee: C. A. R. Hoare Images of pages: 1 Back Next document (Note)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016