| Слайды, 15.11.1983 к докладу на Президиуме АН СССР "Научные основы разработки высоконадежного программного обеспечения" 17.11.1983.
Статья, 12.05.1984"Научные основы доказательного программирования", подготовленная на основе выступления на Президиуме АН СССР 17.11.1983 на тему "Научные основы разработки высоконадежного программного обеспечения". /Текст рукописный./
Список, 20.05.1984поправок к статье "Научные основы доказательного программирования", сделанные в самолете ИЛ-86. /Текст рукописный./
Статья, 22.05.1984(?)"Научные основы доказательного программирования".
Постановление, 17.11.1983Президиума АН СССР № 1478 о научном сообщении А.П. Ершова "Научные основы создания высоконадежного программного обеспечения".
Записка, 18.01.1984Просьба ознакомиться с Постановлением Президиума АН СССР № 1478 и потом вернуть в канцелярию ВЦ СО АН. /Приписка А.П. Ершова - просит своего секретаря сделать копию с Постановления./
Телеграмма, Г. К. Скрябин->А.П. Ершов, 21.11.1983Заседание Президиума АН СССР с докладом А.П. Ершова "Научные основы создания высоконадежного программного обеспечения" состоится 17.11.1983.
Сопроводительное письмо, А. В. Карасов->А.П. Ершов, 21.11.1983к стенограмме доклада А.П. Ершова на Президиуме АН СССР с просьбой внести правку, завизировать и вернуть в протокольный отдел Секретариата Президиума АН СССР.
Сопроводительное письмо, А.П. Ершов->Л. Н. Алябьева, 20.12.1983к стенограмме своего сообщения на Президиуме АН СССР.
Сопроводительное письмо, автор не установлен->А.П. Ершов, 11.07.1984к статье адресата "Научные основы доказательного программирования", направленной ему для утверждения к печати.
По порядку | По алфавиту | По дате |
