City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Верификация распределенных систем, TLA+
Theory of Distributed Computing

What: Lecture
When: Saturday, 30 November 2019, 17:15–18:45
Where: ПОМИ РАН

Video