![]() |
|||||||||||
|
|
|||||||||||
|
Documents associated with Wladislaw Marek Turski Informal Minutes, 03.10.1966-08.10.1966 of the 7th Meeting of the Working Group (Warsaw, October 1966). A list of working documents referred to in the text is attached.
Letter, W. Dijkhuis->A.P. Ershov, 24.08.1976Article, 26.11.1987 "Specification as a Theory with Models in the Computer World and in the Real World" by Turski.
Invitation letter, W. M. Turski->S. S. Lavrov, 17.01.1970Report, 15.10.1966 Bulletin, 01.11.1985(?) of Polish Computer Society ¹11, 1985
Bulletin, 01.12.1985(?)of Polish Computer Society ¹12, 1985
Item 5. (Name does not exist in this language.)Letter, W. M. Turski->A.P. Ershov, 08.02.1986 Very personal
Letter, W. M. Turski->A.P. Ershov, 31.01.1987The author is very glad with the improvement of Andrei Petrovich's health. He informs of events and bussines.
Item 6. (Name does not exist in this language.)Item 6. (Name does not exist in this language.) Bimonthly lists, 30.06.1987 Review, 29.12.1979 Informal Minutes, 16.05.1967-20.05.1967 of the 8th Meeting of the Working Group (Zandvoort, May 1967) published as a booklet. A list of working documents, referred to in the text, is attached.
Review, 20.06.1978Translation editor's foreword, 09.08.1980 to the paper "Methodology of programming" by Tursky
Item 7. (Name does not exist in this language.)Justification, 08.02.1977 Extract, 25.01.1969 from the Formal Minutes of WG 2.1, containing text of the Minority Report on ALGOL 68. (Attachment ¹ 2 to the Minutes of the 10th TC 2 meeting.)
1 2 3 4 5 6 7 8 9 10 Initial order | In alphabetical order | By date Back |
||
Switch to Russian | Search | Advanced search | Folders | Themes |
|