Новинка
Артикул: T0012287
999 руб.
Доступные форматы
После оплаты издание можно скачать во всех доступных форматах на странице Мои книги
Аннотация
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Характеристики
Издано
|
Издательство «ДМК Пресс» |
Формат(ы)
|
|
Размер файла, pdf | 49.1 Mб |
Год издания | 2023 |
Объем, стр. | 336 |
Размер страницы, см | 16,5×23,5 |
Миним. диагональ, дюймов | 10 |
ISBN | 978-5-93700-278-5 |
Ознакомительный фрагмент
Открыть/скачать фрагмент
3,3 мб
Отзывы