Лекция 2 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум
263
Лекториум193 тыс
Следующее
25.09.15 – 1 0531:00:07Популярные
43 дня – 5540:12
356 дней – 65350:26Опубликовано 25 сентября 2015, 18:40
Лекция 2 | Курс: Программный анализ и формальные методы верификации | Лектор: Наталья Шарыгина | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/26548
Другие лекции по курсу "Программный анализ и формальные методы верификации" доступны для просмотра по ссылке: youtube.com/playlist?list=PL-_...
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/26548
Другие лекции по курсу "Программный анализ и формальные методы верификации" доступны для просмотра по ссылке: youtube.com/playlist?list=PL-_...
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
3 дня – 4 49847:13
3 дня – 1 9756:31
5 дней – 82 9510:49
6 дней – 41 00030:47
Случайные видео
151 день – 15 7150:50
216 дней – 18 2151:00
03.09.23 – 8 4220:58
20.06.22 – 8 55610:39
06.10.20 – 2 11054:57
26.10.12 – 93212:14
1 день – 52 14512:09
3 дня – 1 3950:47
5 дней – 26 8861:07:24
5 дней – 6 6111:00
7 дней – 26 4223:58
10 дней – 13 76354:15
11 дней – 196 13124:10
2 дня – 8 5781:40:54