C 29 декабря по 8 января офис работать не будет, все заказы будут обработаны 9 января
Новинка
Ожидается
Предзаказ

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

(0)
(0)
(0)
Характеристики
Издательство:
ДМК Пресс
Переплет/обложка:
Твёрдый переплёт
Год издания:
2024
ISBN:
978-5-93700-340-9
Автор:
Камкин А.
Количество страниц:
304
формат:
165 * 235 мм
Все характеристики
Описание

Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники.
Ожидается, что читатель знает основы дискретной математики и математической логики.

Показать полностью Свернуть
Нет в наличии
Выбрать
    Описание
    Характеристики
    Описание

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

    В числе рассматриваемых тем:

    • обзор базовых методов верификации;
    • дедуктивный анализ программ;
    • проверка моделей;
    • использование формальных методов в тестировании.
    Характеристики
    Издательство
    ДМК Пресс
    Переплет/обложка
    Твёрдый переплёт
    Год издания
    2024
    ISBN
    978-5-93700-340-9
    Автор
    Камкин А.
    Количество страниц
    304
    формат
    165 * 235 мм
    Отзывы
    Отзывы
    Отзывов еще никто не оставлял
    Обратный звонок
    Запрос успешно отправлен!
    Имя *
    Телефон *
    Предзаказ
    Предзаказ успешно отправлен!
    Имя *
    Телефон *
    Добавить в корзину
    Название товара
    100 руб
    1 шт.
    Перейти в корзину

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

    0 отзывов
    Быстрое оформление заказа