Лекция 1 | Верификация параллельных и распределенных программных систем | Юрий Карпов | Лекториум
10 years ago 02:47:20 2.5K
11 years ago 01:13:27 7.1K
11 years ago 00:51:20 8.1K
6 years ago 03:14:27 83
9 years ago 02:15:49 947
10 years ago 01:38:48 2.5K
9 years ago 01:32:22 5.5K
11 years ago 00:55:34 601
10 years ago 02:37:54 5.3K
13 years ago 02:18:28 33
10 years ago 02:01:23 172
12 years ago 01:26:07 1.1K
10 years ago 01:08:12 486
5 years ago 01:33:58 196
12 years ago 01:10:11 126
10 years ago 01:41:46 164
9 years ago 02:27:07 91
9 years ago 00:10:10 682
4 years ago 01:02:01 218
9 years ago 00:46:21 410
12 years ago 00:58:57 55
7 years ago 00:58:33 243
8 years ago 01:21:48 129
4 years ago 01:36:24 300
