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

Архив

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

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

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

Вопросы к Э. Дейкстре , Э. Хоару и Дж. Шварцу

Записка

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

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


	1

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

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