Файл:Seminar Verification 3.pdf
Материал из Кафедра математической кибернетики
Версия от 17:55, 12 сентября 2018; PodymovVV (обсуждение | вклад)
Seminar_Verification_3.pdf (размер файла: 177 КБ, MIME-тип: application/pdf)
мат.методы верификации схем и программ, семинар 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 |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.