Отзыв с приложением

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