1. Книги
  2. Нехудожественная литература
  3. Компьютерные технологии
Код товара: 1747014498
Введение в формальные методы верификации программ #1
−62%
Рассрочка 0-0-6
Цена что надо
Новинка

Введение в формальные методы верификации программ

О товаре
Перейти к описанию
Издательство
Год выпуска
2024
Тип обложки
Твердый переплет
Тип книги
Печатная книга
Язык издания
Русский

О книге

Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — фор
6 287 ₸ 16 984 ₸
ДМК Пресс
Перейти в магазин
  • 4,9 рейтинг товаров
  • Цены что надо
  • Доставка и сервис Ozon
  • Безопасная оплата онлайн
  • Возврат 7 дней

Другие предложения от продавцов на Ozon.ru

Перейти в магазин
7 158 ₸
60%18 085 ₸
Перейти в магазин
8 160 ₸
32%12 002 ₸

Описание

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

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

  • обзор базовых методов верификации;
  • дедуктивный анализ программ;
  • проверка моделей;
  • использование формальных методов в тестировании.

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

Автор на обложке

Камкин А.

Артикул
1747014498
Издательство
ДМК Пресс
Год выпуска
2024
Тип обложки
Твердый переплет
Тип книги
Печатная книга
Язык издания
Русский
Количество страниц
304
Формат издания
165x235
ISBN
978-5-93700-340-9
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

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

  • ДМК Пресс Издательство
Показать сначала: дате оценке
И
Иннокентий К.
12 декабря 2024
5 / 5
5 звёзд
1
4 звезды
0
3 звезды
0
2 звезды
0
1 звезда
0

Вопросы и ответы 0

Как правильно задавать вопросы?

Будьте вежливы и спрашивайте о товаре, на карточке которого вы находитесь

Если вы обнаружили ошибку в описанием товара, воспользуйтесь функцией

Как отвечать на вопросы?

Отвечать на вопросы могут клиенты, купившие товар, и официальные представители.

Выбрать «Лучший ответ» может только автор вопроса, если именно этот ответ ему помог.