Лекция 1 | Верификация параллельных и распределенных программных систем | Юрий Карпов | Лекториум
1 562
30.6
Лекториум194 тыс
Следующее
Популярные
Опубликовано 23 марта 2016, 14:09
Лекция 1 | Курс: Верификация параллельных и распределенных программных систем | Лектор: Юрий Карпов | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13649
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13649
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
1 день – 11 9820:56
2 дня – 4 66033:39
4 дня – 04:48
6 дней – 45 7621:28:12
Случайные видео
161 день – 278 1630:59
244 дня – 13 68112:29
17.05.23 – 1 31718:11
14.11.22 – 5411:27:23
24.08.21 – 7 7152:50:18
18.02.20 – 373 92814:42
2 дня – 3 5882:48
4 дня – 33 11519:11
6 дней – 6852:36
6 дней – 3 63121:58
6 дней – 14 5892:26
7 дней – 1 3311:00