Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 20:10, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Uppaal.zip» (Методы верификации (618, 621). Доп. материалы к задачам по Uppaal)