Введение в формальные методы верификации программ
| Артикул: | 3577325 |
| ISBN: | 978-5-93700-340-9 |
| Тип переплета: | твердый |
| Тираж: | 100 |
| Издатель: | ДМК |
| Дата издания: | 2024 |
| Количество страниц: | 304 |
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 16 лекций, сопровождаемых вопросами для самопроверки и упражнениями.
В числе рассматриваемых тем:
обзор базовых методов верификации;
дедуктивный анализ программ;
проверка моделей;
использование формальных методов в тестировании.
Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники.
Ожидается, что читатель знает основы дискретной математики и математической логики.
Характеристики
| Место издания: М. |
| Вес в граммах: 0 |
На товар пока нет отзывов
Поделитесь своим мнением раньше всех
Просмотренные товары
Цена в магазине:
2279 ₽
Купить книгу «Введение в формальные методы верификации программ» в магазине «Библио-Глобус» по низкой цене. У Вас есть возможность приобрести книгу Камкин А. «Введение в формальные методы верификации программ». Книжный магазин «Библио-Глобус» регулярно проводит акции и предоставляет скидки на книги и другие товары.