Документы, связанные с Дональд И. Гуд

Письмо, Д. И. Гуд->А.П. Ершов, 03.03.1977
Автор благодарит за приглашение на конференцию, но не может его принять.
Резюме статьи, 15.07.1974(?)
"An Interactive Program Verification System".
Резюме статьи, 15.07.1974(?)
"A Basis for Provable Programming".

По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016