Архив академика А.П.Ершова

Архив

Редакционно-издательская деятельность

Предисловия, написанные А.П. Ершовым

Предисловие и редактирование книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ"

Предисловие редактора

Предисловие редактора
к книге В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ". /Рукописный и машинописный варианты./
Дата: 28.03.1987
Оригинальный язык документа: русский
Авторы: Андрей Петрович Ершов

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


	1	2	3	4	5	6	7	8

Назад
Предыдущий документ (Титульный лист и оглавление)

Switch to English | Поиск | Расширенный поиск | Папки | Темы