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