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