|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Ugo Montanari Telegram, A.P. Ershov->U. Montanari, 18.09.1987 Working Notes, 10.07.1982-24.08.1982 Letter with attachment, C. Montangero->A.P. Ershov, 23.09.1987 Slides, 03.05.1982 of talk "Activities related to developments of ADA Programming Environments" by U.Montanari.
Letter, U. Montanari->A.P. Ershov, 10.01.1983Abstract of the paper, 15.07.1974(?) "Proving Structured Programs Correct, Level by Level".
Letter, U. Montanari->A.P. Ershov, 25.08.1983Reviewer's Report, U. Montanari->A.P. Ershov, 06.02.1980 by U.Montanari on Won L. Chung's paper.
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
