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