Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 14:05, 26 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (2019. Пара мелких визуальных правок)
- 15:18, 2 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (и ещё одна мелкая правка)
- 15:16, 2 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (пара мелких правок)
- 14:54, 30 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (новая версия, намного более милая)
- 21:26, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (поправлены опечатки, в т.ч. нехорошие)
- 10:03, 3 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (поправлена куча опечаток)
- 22:53, 2 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (супер-пупер новая версия)
- 16:35, 9 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7.pdf» (математические методы верификации схем и программ, полулекционное занятие: обзор синтаксиса и модели систем средства SPIN)