Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 12:33, 29 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (обновлён год + мелкие не очень значительные правки. по содержанию всё то же.)
- 11:18, 28 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (поправлены опечатки)
- 23:00, 27 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (супер-пупер-обновлённая версия)
- 17:52, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (поправлен небольшой баг в определении системы регионов)
- 08:09, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (обновлённая версия, почти всё по-другому)
- 15:23, 5 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 10.pdf» (математические методы верификации схем и программ, лекция 10: алгоритм model checking для tctl и временных автоматов (регионная модель Крипке))