Архив
Редакционно-издательская деятельность
Предисловия, написанные А.П. Ершовым
Предисловие и редактирование книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ"
Сопроводительное письмо и договор
Сопроводительное письмо и договор
на титульное редактирование книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ".
Дата: 26.08.1985
Оригинальный язык документа: русский
Авторы: Галина Ивановна Козырева
Организации: Изд-во "Радио и связь"
Персоналии: Евгений Николаевич Сальников
Адресаты: Андрей Петрович Ершов

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


Назад
Следующий документ (Заключение)

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