|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Олег М. Рякин Предисловие, 28.11.1982 к русскому переводу книги С.А. Алагича и М.А. Арбиба "Программирование корректных структурированных программ". /Текст рукописный./
Предисловие, 13.12.1982к русскому переводу книги С.А. Алагича и М.А. Арбиба "Программирование корректных структурированных программ". /Текст машинописный./
Титульный лист и оглавление, 27.03.1987книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ".
Письмо, О. М. Рякин->А.П. Ершов, 17.02.1984об отправке экземпляра вышедшей книги С.А. Алагича и М.А. Арбиба "Программирование корректных структурированных программ" с благодарностью за предисловие.
Список, 08.12.1993научных трудов В.А. Непомнящего.
АнкетаО. М. Рякина.
Отзыв с приложением, 07.05.1984о плане-проспекте книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ", предлагаемую к изданию в издательстве "Радио и связь". Приложено оглавление книги и план-проспект.
Тезисы докладаВ.А. Непомнящий, О.М. Рякин "Обобщенный подход к аксиоматической семантике операторов над последовательными файлами".
Письмо, О. М. Рякин->А.П. Ершов..., 09.11.1982Просьба выслать текст предисловия к книге С. Алагича и М. Арбиба.
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
