Теория распределённых вычислений 8. Формальные методы. TLA+
Спеки с лекции:
Алгоритм Евклида:
Крепкий орешек:
Paxos:
Лектор: Роман Липовский
2 months ago 01:11:30 1
2 months ago 00:54:24 1
3 months ago 02:28:25 1
3 months ago 00:56:32 1
3 months ago 00:30:59 13
3 months ago 00:54:28 1
3 months ago 00:24:19 1
3 months ago 00:28:19 1
3 months ago 00:12:43 4
3 months ago 00:43:49 1
3 months ago 00:08:57 1
3 months ago 00:42:44 1
3 months ago 00:52:27 1
3 months ago 00:27:06 3
3 months ago 00:28:43 2
3 months ago 00:26:03 1
4 months ago 00:28:28 12
4 months ago 00:21:55 1
4 months ago 00:09:25 1
4 months ago 00:31:24 1
4 months ago 01:01:39 13
4 months ago 01:18:02 1
4 months ago 00:09:36 15
4 months ago 00:19:50 1
