Архив академика А.П.Ершова

Архив

Научное творчество

Работы 1984 г.

Статья "Научные основы доказательного программирования"

Статья

Статья
"Научные основы доказательного программирования", подготовленная на основе выступления на Президиуме АН СССР 17.11.1983 на тему "Научные основы разработки высоконадежного программного обеспечения". /Текст рукописный./
Дата: 12.05.1984
Названия статей: "Научные основы доказательного программирования"
Оригинальный язык документа: русский
Авторы: Андрей Петрович Ершов
Организации: Президиум АН СССР

Изображения страниц:


	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20


	21	22	23	24	25	26	27	28	29

Текстовое представление:

русский

Назад
Следующий документ (Список)
Предыдущий документ (Слайды)

Switch to English | Поиск | Расширенный поиск | Папки | Темы