Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 12:30, 14 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (обновил год, наполнение то же)
- 13:11, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf»
- 16:43, 18 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (поправлена пара неточностей)
- 18:19, 17 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (супер-пупер обновление обзора)
- 13:44, 26 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (поправлены фактические ошибки, добавлено несколько слайдов о возможностях)
- 17:14, 19 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf»
- 16:58, 19 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 4.pdf» (математические методы верификации схем и программ, семинар 4. Обзор средства NuSMV (полулекционное занятие))