Лекция 6 | Теория распределенных вычислений | Роман Липовский | Лекториум
460
30.7
Лекториум194 тыс
Следующее
20.12.19 – 3991:24:50Популярные
220 дней – 1 2470:35
Опубликовано 20 декабря 2019, 12:27
Лекция 6. Верификация распределенных систем, TLA+ | Курс: Теория распределенных вычислений | Организаторы: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/node/36528
Смотрите другие лекции курса «Теория распределенных вычислений»: lektorium.tv/node/35904
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/node/36528
Смотрите другие лекции курса «Теория распределенных вычислений»: lektorium.tv/node/35904
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
1 день – 7801:21
2 дня – 13 84616:01
3 дня – 4 1127:22
3 дня – 2 1330:59
4 дня – 2 0000:35
Случайные видео
76 дней – 7 14519:01
271 день – 1 23218:06
03.11.23 – 3 1750:55
24.05.23 – 1 16327:42
13.04.23 – 410 61142:09
29.04.14 – 44 4241:01:28
1 день – 1 1381:10:56
1 день – 4 09317:52
6 дней – 8380:43
7 дней – 18 8741:19
8 дней – 671:01:30
9 дней – 43 75424:32
10 дней – 329 30942:54
