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, Unknown Author->E. W. Dijkstra, 20.09.1976
A question about the basic operators set
Note, Unknown Author->E. W. Dijkstra, 20.09.1976
about the programs correctness proof methods; request to comment on the speaker's negative attitude to PL/1

Initial order | In alphabetical order | By date

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