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 about the programs correctness proof methods; request to comment on the speaker's negative attitude to PL/1 Date: 20.09.1976 Original document language: Russian, English Authors: Unknown Author Addressee: Edsger W. Dijkstra Images of pages: 1 Back Previous document (Note)
	Switch to Russian | Search | Advanced search | Folders | Themes

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