Файл:Seminar Verification 3.pdf — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
(PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
(нет различий)

Версия 22:20, 28 сентября 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
  • Вы не можете перезаписать этот файл.

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