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

Архив

Научно-техническое сотрудничество

Визиты иностранных ученых в ВЦ СО АН СССР

Дейкстра Э., Хоар Э.

Вопросы к Э. Дейкстре и Э. Хоару

Записка

Записка
с вопросами по средствам автоматизации правильности программ.
Дата: 13.09.1976
Оригинальный язык документа: русский
Авторы: автор не установлен
Адресаты: Энтони Хоар

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


	1

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

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