filmov
tv
Введение в формальную верификацию программ, лекция 3 | А. Трунов
Показать описание
Курс "Введение в формальную верификацию программ" в Computer Science клубе.
Лектор: Антон Трунов (Zilliqa Research)
Дата: 25 марта 2021
Лектор: Антон Трунов (Zilliqa Research)
Дата: 25 марта 2021
2:31:44
1:36:08
1:40:16
1:29:06
1:30:00
1:30:42
1:31:39
1:39:52
1:38:37
1:27:33
1:33:06
0:54:54
1:16:16
1:41:28
2:18:34
1:00:07
0:17:47
1:18:23
0:16:11
1:32:05
0:52:00
1:49:37
0:54:51
0:14:06