Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 10:00, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 35.pdf» (методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция)