Скоро [ДМК] Доказательство корректности программ [К. Рустан М. Лейно]

[Море Слив]

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет...

[ДМК] Доказательство корректности программ [К. Рустан М. Лейно]

Курс скоро будет доступен на форуме moresliv.biz. Используйте

Для просмотра ссылок необходимо выполнить Вход или Регистрация

, возможно данный курс уже в наличии.