Файл:Verif VP sem02.pdf

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

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

Методы верификации (618, 621). Семинар 2. Модели Крипке, LTL, безопасность и живость, справедливость.

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

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

Дата/времяРазмерыУчастникПримечание
текущий14:10, 21 сентября 2023 (165 КБ)PodymovVV (обсуждение | вклад)2023-2024. ничего нового
12:33, 16 октября 2022 (163 КБ)PodymovVV (обсуждение | вклад)Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.
14:12, 26 сентября 2022 (232 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Семинар 2. Модели Крипке, LTL, безопасность и живость, справедливость.
  • Вы не можете перезаписать этот файл.

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