везде Расширенный поиск
книги Компьютеры и Интернет Программирование Методология Проектирование
Заглянуть

Миронов А. М.

Методы верификации программ

Код 5478369

  • ISBN: 978-5-93700-278-5
  • 336 страниц
  • декабрь 2023
  • ДМК
  • 600 г
Бумажная книга

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 15.05.2024; планируемая отправка: 16.05.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 18.05.2024; планируемая отправка: 19.05.2024

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

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

 

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: ДМК
Дата выхода: декабрь 2023
ISBN: 978-5-93700-278-5
Объём: 336 страниц
Масса: 600 г
Размеры(высота, ширина), см: 24 x 17
Обложка: мягкая
Бумага: офсетная

Книга находится в категориях

Разработка программ Новинки компьютерной литературы 2023

Вместе с этой книгой покупают

Победи свой страх. Как избавиться от негативных установок и добиться успеха
Победи свой страх. Как избавиться от негативных... бумажная книга
Мэнди Холгейт
Нет в продаже
Счастливый Феликс
Счастливый Феликс бумажная книга
Елена Александровна...
Нет в продаже
Подарок тому, кто разбирается в людях. 2 золотых бестселлера по психологии у тебя в кармане
Подарок тому, кто разбирается в людях. 2... бумажная книга
Эрик Берн
Нет в продаже
Цифровизация: Практические рекомендации по переводу бизнеса на цифровые технологии
Цифровизация: Практические рекомендации по... бумажная книга
Нет в продаже
-17%
Чувства. Нейробиология сенсорного восприятия
Чувства. Нейробиология сенсорного восприятия бумажная книга
Роб Десалл
12.46 USD 10.35 USD
В корзину
Маркетинг менеджмент
Маркетинг менеджмент бумажная книга
Филип Котлер
Нет в продаже