Файл:Seminar Verification 3.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf») |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf») |
(нет различий)
|
Версия 17:55, 12 сентября 2018
мат.методы верификации схем и программ, семинар 3: табличный и символьный алгоритмы верификации CTL
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 09:40, 8 октября 2019 | (177 КБ) | PodymovVV (обсуждение | вклад) | поменялся год, остальное как было |
22:20, 28 сентября 2018 | (177 КБ) | PodymovVV (обсуждение | вклад) | ||
17:55, 12 сентября 2018 | (186 КБ) | PodymovVV (обсуждение | вклад) | ||
09:47, 29 сентября 2017 | (176 КБ) | PodymovVV (обсуждение | вклад) | убран слайд "домашнее задание" | |
09:44, 29 сентября 2017 | (184 КБ) | PodymovVV (обсуждение | вклад) | дополнен темами, не успевшимися на семинаре 2. изменено оформление. | |
10:53, 12 октября 2016 | (139 КБ) | PodymovVV (обсуждение | вклад) | мат.методы верификации схем и программ, семинар 3: табличный и символьный алгоритмы верификации CTL |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.