Предзаказ

Книга: Миронов А. М. "Методы верификации программ"

Name: Книга: Миронов А. М. "Методы верификации программ"
SKU: B-DMK-278
Price: 1675.0 RUR
Availability: InStock

(0)

Характеристики

Издательство:

ДМК Пресс

Переплет/обложка:

мягкая обложка

Год издания:

2023

ISBN:

978-5-93700-278-5

Автор:

Миронов А. М.

Количество страниц в книге:

336

Все характеристики

Описание

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.

Показать полностью Свернуть

В корзине шт Перейти

Нет в наличии

Описание

Характеристики

Описание

Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях.

Характеристики

Издательство

ДМК Пресс

Переплет/обложка

мягкая обложка

Год издания

2023

ISBN

978-5-93700-278-5

Автор

Миронов А. М.

Количество страниц в книге