Складчина: [ДМК] Введение в формальные методы верификации программ [Александр Камкин]
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 15 лекций, сопровождаемых вопросами для самопроверки и упражнениями.
В числе рассматриваемых тем:
Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники.
Желательно знание основ дискретной математики и математической логики.
Издание: Черно-белое
Автор: Камкин А.
Объем, стр: 304
ISBN: 978-5-93700-340-9
Формат: PDF
Стоимость: 800
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 15 лекций, сопровождаемых вопросами для самопроверки и упражнениями.
В числе рассматриваемых тем:
- обзор базовых методов верификации;
- дедуктивный анализ программ;
- проверка моделей;
- использование формальных методов в тестировании.
Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники.
Желательно знание основ дискретной математики и математической логики.
Издание: Черно-белое
Автор: Камкин А.
Объем, стр: 304
ISBN: 978-5-93700-340-9
Формат: PDF
Стоимость: 800
Для просмотра скрытого содержимого необходимо Войти или Зарегистрироваться.