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

Архив

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

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

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

Титульный лист и оглавление

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

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


	1	2	3

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

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