Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

Верификация распределенных систем, TLA+
Теория распределенных вычислений

Что: Лекция
Когда: Суббота, 30 ноября 2019, 19:00–20:30
Где: ПОМИ РАН

Видео