Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 22:43, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 5.pdf»
- 21:14, 17 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 5.pdf» (немного некритичных исправлений)
- 13:47, 26 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5.pdf» (математические методы верификации схем и программ. семинар 5: практические задания для работы с NuSMV)