В книге излагаются вопросы
моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
PDF от издателя
[ДМК] Методы верификации программ (Алексей Миронов)
178 ₽
Описание
Отзывы (0)
Только зарегистрированные клиенты, купившие данный товар, могут публиковать отзывы.
Оплата и Доставка
Оплата принимается с большинства платежных систем, после оплаты взноса материал будет находится в Личном кабинете в разделе заказы и дополнительно направлен на Емейл, указанный при оформлении заказа.
Отзывы
Отзывов пока нет.