Категории

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

  • Автор: Камкин А.С

  • Переплет: твердый
  • Страниц: 304
  • Формат: 23.5x16.5x2.2 см
  • Вес: 631 г
  • ISBN: 978-5-93700-340-9
  • Бумага: офсетная
  • Иллюстрации: отсутствуют
  • Год издания: 2024
  • Язык издания: русский
  • Возрастные ограничения: 18+

44462204

Наличие: ОТПРАВКА В ТЕЧЕНИЕ 9-13 РАБОЧИХ ДНЕЙ

955 Kč

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

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

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

Автор на обложке
Камкин А.