Методы верификации программ
Об издании
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Книга подготовлена при поддержке Междисциплинарной научно-образовательной школы Московского университета «Мозг, когнитивные системы, искусственный интеллект».
Библиографическая запись
Миронов, А. М. Методы верификации программ / А. М. Миронов. — Москва : ДМК Пресс, 2023. — 336 c. — ISBN 978-5-93700-278-5. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/159595.html (дата обращения: 19.03.2026). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Глебов В.В., Кангин М.В., Кангин Е.М., Щеглетов К.А., Кангин А.М.
(Ай Пи Ар Медиа)
Седова Н.А., Седов В.А.
(Ай Пи Ар Медиа)
Миронов А.В., Садриева А.Н., Филатова Л.П.
(Ай Пи Ар Медиа)
Корниенко В.Т.
(Ай Пи Ар Медиа)
