СКАЧАТЬ [ДМК] Доказательство корректности программ [К. Рустан М. Лейно] бесплатно, отзывы, торрент, складчина

Море Слив

Пользователь

Последние темы автора:

TeacherConf 2024. Большая осенняя конференция [Комбо-тариф] [Академия... Порядок дома и уборка дома [Нина Ефименко] Запуск бизнеса на Озон [Анастасия Рудакова] [Вязание] Пуловер с шишечками на круглой кокетке спицами без швов Adorned... [Вязание] Вязаная спицами шапка-капор с мохеровым бантом Big Bow Bonnet...

13.05.24

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

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

Курс скоро будет доступен на форуме moresliv.biz. Используйте
Для просмотра ссылок необходимо выполнить Вход или Регистрация
, возможно данный курс уже в наличии.

Поиск

Поиск

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

Море Слив

Похожие темы