| Сопроводительное письмо и договор, Г. И. Козырева->А.П. Ершов, 26.08.1985 на титульное редактирование книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ".
Заключение, 04.04.1986ответственного редактора о рукописи книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ", предлагаемой к изданию в издательстве "Радио и связь".
Титульный лист и оглавление, 27.03.1987книги В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ".
Предисловие редактора, 28.03.1987к книге В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ". /Рукописный и машинописный варианты./
По порядку | По алфавиту | По дате |
