![[ДМК] Методы верификации программ (Алексей Миронов)](https://www.s3.skladchikurs.com/wp-content/uploads/2023/12/dmk-metody-verifikaczii-programm-aleksej-mironov_658cbf9e025ca.jpeg)
Наведите на изображение для увеличения
В книге излагаются вопросы
моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
PDF от издателя
Отзывы
Отзывов пока нет.