Найти в Дзене
Войти
1,0×
Миронов А.М. - Формальная семантика и верификация ПО - 7. Верификация распределенных систем
44 просмотра · 2 года назад
00:00
/
01:25:36
Teach-In
11,1 тыс подписчиков
Подписаться
3785792931.1772.1752805283058.51242