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