Предисловие редактора

Предисловие редактора

к книге В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ". /Рукописный и машинописный варианты./

Дата: 
28.03.1987