Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 09:40, 8 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (поменялся год, остальное как было)
- 22:20, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf»
- 17:55, 12 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf»
- 09:47, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (убран слайд "домашнее задание")
- 09:44, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (дополнен темами, не успевшимися на семинаре 2. изменено оформление.)
- 10:53, 12 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 3.pdf» (мат.методы верификации схем и программ, семинар 3: табличный и символьный алгоритмы верификации CTL)