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

Архив

Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы

Международная конференция по надежности математического обеспечения

Резюме статей, заявленных на конференцию

Резюме статьи

Резюме статьи
"The Synthesis of Programs as an Approach to the Construction of Reliable Programs".
Дата: 15.07.1974(?)
Оригинальный язык документа: английский
Авторы: Дельи Антони, П. А. Мильоли, М. Орнаги

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


	1	2	3

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

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