Файл:Seminar Verification 2.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf») |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf») |
(нет различий)
|
Версия 07:57, 27 сентября 2017
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, справедливости |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.