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

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