|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Hans Langmaack Letter, H. Langmaack->R. E. Utman, 26.02.1964 on decisions taken by the Munich meeting (12-13.02.1964) of the INCOR group. (Marked as "Appendix C".)
Note, 01.08.1977(?)with the title of some work and the address of Prof. Langmaack.
Covering letter, H. Langmaack->A.P. Ershov, 03.09.1980to the report "A proof of a theorem of Lipton on Hoare logic and aplications.
Reviewer's Report, H. Langmaack->A.P. Ershov, 24.01.1980by H.Langmaack on P.Folkjaer's and D.Bjorner's paper.
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
