Лекция 7 | Теория распределенных вычислений | Роман Липовский | Лекториум

Лекция 7. Верификация распределенных систем, TLA+ | Курс: Теория распределенных вычислений | Организаторы: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/36529 Смотрите другие лекции курса «Теория распределенных вычислений»: https://www.lektorium.tv/node/35904 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Видео Лекция 7 | Теория распределенных вычислений | Роман Липовский | Лекториум автора DIY Delights