Лекция 7 | Теория распределенных вычислений | Роман Липовский | Лекториум
392
18.7
Лекториум193 тыс
Следующее
20.12.19 – 2591:23:57Популярные
Опубликовано 20 декабря 2019, 12:28
Лекция 7. Верификация распределенных систем, TLA+ | Курс: Теория распределенных вычислений | Организаторы: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/node/36529
Смотрите другие лекции курса «Теория распределенных вычислений»: lektorium.tv/node/35904
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/node/36529
Смотрите другие лекции курса «Теория распределенных вычислений»: lektorium.tv/node/35904
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
3 дня – 30 62919:51
3 дня – 234 26322:04
4 дня – 3911:48:48
5 дней – 2743:55
6 дней – 8011:33
8 дней – 1 5551:20:30Случайные видео
81 день – 47336:49
30.08.23 – 1 3634:46
20.08.23 – 49028:45
14.07.23 – 9662:32:02
07.02.23 – 36 4370:34
12.07.21 – 191 1890:59
7 дней – 510:03
8 дней – 1 2390:14
10 дней – 7191:20
13 дней – 205 4381:00
16 дней – 47 3711:29:12
16 дней – 1 1711:08:48
2 часа – 3440:55