Лекция 7 | Теория распределенных вычислений | Роман Липовский | Лекториум
398
19
Лекториум194 тыс
Следующее
20.12.19 – 2601:23:57Популярные
29 дней – 909:12
Опубликовано 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
Свежие видео
1 день – 3 4201:00
1 день – 6 9662:29
4 дня – 200:34
5 дней – 6171:00
7 дней – 42929:18Случайные видео
1 день – 1 0541:11:45
42 дня – 2 4020:14
24.10.23 – 19 0311:58:11
28.05.23 – 92437:36
05.07.22 – 168 2920:27
27.02.22 – 33 2173:40
16 часов – 30 95656:16
1 день – 1 60220:12
6 дней – 11 0140:42
6 дней – 3 81251:32
8 дней – 2 8611:55:05
9 дней – 1 42847:05
9 дней – 2 8421:00
22 часа – 30:37