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