0+Методы верификации программ
Где читать или купить
ЛитРес
Реклама
1 154 ₽
эл. книга
Читать у партнёра
«Методы верификации программ» у партнёра ЛитРес — реклама, внешняя ссылка
Описание
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
О книге
| Издательство | ДМК Пресс |
|---|---|
| Год издания | 2026 |
| Язык | ru |
| Форматы | |
| Возрастное ограничение | 0 |
| ISBN | 978-5-93700-278-5 |
Похожие книги
Частые вопросы
О чём книга «Методы верификации программ»?
«Методы верификации программ» — это программирование. В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для…
Где читать или купить «Методы верификации программ»?
Книгу можно читать или купить у партнёра ЛитРес (эл. книга). Цена у партнёра — 1154 ₽. Переход — по кнопке в блоке «Где читать или купить».
Что почитать похожее на «Методы верификации программ»?
Близкие по теме книги: «Программирование приложений для мобильных устройств под управлением Android. Часть 1», «Базовые знания тестировщика веб-приложений», «Теория принятия решений». Полный список — в блоке «Похожие книги».