Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 15:55, 7 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10 errors.zip» (математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal)