Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
Код товара: 4815562
Нет в продаже
pdf
Найденных опечаток пока нет
Добавить запись