Лекция 6 | Теория распределенных вычислений | Роман Липовский | Лекториум
453
30.2
Лекториум193 тыс
Следующее
20.12.19 – 3921:24:50Популярные
263 дня – 7019:03
Опубликовано 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
Свежие видео
4 дня – 30 58119:58
5 дней – 193 70933:55
6 дней – 1 2974:31:04
Случайные видео
141 день – 3 02840:17
152 дня – 261 68326:25
277 дней – 16 0043:41
30.11.22 – 8 6401:00
08.07.22 – 96 0920:24
50 мин – 6 58538:27
3 часа – 7270:55
9 часов – 608:31
2 дня – 44 06112:19
2 дня – 3 48825:52
3 дня – 6230:12
4 дня – 12 8856:54