![АLИSА](/data/avatars/m/0/384.jpg?1709904900)
АLИSА
Организатор
- #1
[ДМК] Методы верификации программ [Алексей Миронов]
- Ссылка на картинку
В книге излагаются вопросы
моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
PDF от издателя
![:) :)](https://s2.skladchiki.cc/images/skladchiki.cc.png)
PDF от издателя
Зарегистрируйтесь
, чтобы посмотреть скрытый авторский контент.