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

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


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