[ДМК] Методы верификации программ (Алексей Миронов)

[Олег КО]

Ссылка на картинку

В книге излагаются вопросы

моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.

PDF от издателя

Показать больше