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