Доступна Введение в формальные методы верификации программ [Александр Камкин]

[asd]

Введение в формальные методы верификации программ [Александр Камкин]

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

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

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

Издание: Черно-белое
Автор: А.Камкин
Объем: 304 стр.

Формат: PDF
Стоимость: 800 руб.

Продажник

Донор

Для просмотра скрытого содержимого вы должны войти или зарегистрироваться.

 

[asd]

Сборы 10.11