Файл:Verif VP 03.pdf

Материал из Кафедра математической кибернетики
Версия от 11:36, 12 сентября 2022; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Verif_VP_03.pdf(размер файла: 187 КБ, MIME-тип: application/pdf)

Методы верификации (618, 621). Блок 3, постановка задачи дедуктивной верификации императивных программ, логика Хоара

История файла

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

Дата/времяРазмерыУчастникПримечание
текущий16:31, 11 сентября 2023 (187 КБ)PodymovVV (обсуждение | вклад)опечатки
17:33, 10 сентября 2023 (184 КБ)PodymovVV (обсуждение | вклад)2023-2024. Теперь тут про общие принципы дедуктивной верификации и про императивные программы
12:31, 16 октября 2022 (189 КБ)PodymovVV (обсуждение | вклад)Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.
21:16, 25 сентября 2022 (272 КБ)PodymovVV (обсуждение | вклад)Поправлены плохо отображающиеся полужирные буквы в математике
11:36, 12 сентября 2022 (297 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Блок 3, постановка задачи дедуктивной верификации императивных программ, логика Хоара
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл: