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