Файл:Seminar Verification 2.pdf

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Seminar_Verification_2.pdf(размер файла: 219 КБ, MIME-тип: application/pdf)

618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости

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

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

Дата/времяРазмерыУчастникПримечание
текущий12:23, 24 сентября 2019 (219 КБ)PodymovVV (обсуждение | вклад)осень 2019. перестановка условий, несколько мелких правок
22:20, 28 сентября 2018 (219 КБ)PodymovVV (обсуждение | вклад)
17:55, 12 сентября 2018 (213 КБ)PodymovVV (обсуждение | вклад)
09:44, 29 сентября 2017 (201 КБ)PodymovVV (обсуждение | вклад)урезан согласно фактически разобранному, исправлены опечатки
07:57, 27 сентября 2017 (221 КБ)PodymovVV (обсуждение | вклад)2017 год, новое оформление, поправленные опечатки
17:13, 28 сентября 2016 (191 КБ)PodymovVV (обсуждение | вклад)исправлена опечатка на последнем слайде
17:08, 28 сентября 2016 (191 КБ)PodymovVV (обсуждение | вклад)618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости
  • Вы не можете перезаписать этот файл.

Нет страниц, ссылающихся на данный файл.