документы
об архиве
о проекте
Андрей Ершов
Switch to English
Архив
Научное творчество
Работы 1984 г.
Статья "Научные основы доказательного программирования"
Постановление
Постановление
Президиума АН СССР № 1478 о научном сообщении А.П. Ершова "Научные основы создания высоконадежного программного обеспечения".
Дата: 17.11.1983
Оригинальный язык документа: русский
Организации:
Президиум АН СССР
Персоналии:
Олег Михайлович Белоцерковский
,
Андрей Николаевич Тихонов
,
Гермоген Сергеевич Поспелов
,
Андрей Петрович Ершов
,
Николай Прокофьевич Федоренко
,
Анатолий Петрович Александров
,
Василий Сергеевич Владимиров
Изображения страниц:
1
Назад
Следующий документ (Записка)
Предыдущий документ (Статья)
Switch to English
|
Поиск
|
Расширенный поиск
|
Папки
| Темы
Главная страница
Помощь
Switch to English
Вебмастер
©
ИСИ СО РАН
, 2000-2016
