документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Редакционно-издательская деятельность Предисловия, написанные А.П. Ершовым Предисловие и редактирование книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ" Заключение

	Заключение ответственного редактора о рукописи книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ", предлагаемой к изданию в издательстве "Радио и связь". Дата: 04.04.1986 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Организации: Изд-во "Радио и связь" Изображения страниц: 1 Назад Следующий документ (Титульный лист и оглавление) Предыдущий документ (Сопроводительное письмо и договор)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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