Лекция 1 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум
1 053
43.9
Лекториум193 тыс
Следующее
25.09.15 – 99 2391:27:08Популярные
101 день – 7541:16:05
Опубликовано 25 сентября 2015, 18:40
Лекция 1 | Курс: Программный анализ и формальные методы верификации | Лектор: Наталья Шарыгина | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/26547
Другие лекции по курсу "Программный анализ и формальные методы верификации" доступны для просмотра по ссылке: youtube.com/playlist?list=PL-_...
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/26547
Другие лекции по курсу "Программный анализ и формальные методы верификации" доступны для просмотра по ссылке: youtube.com/playlist?list=PL-_...
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
1 день – 8 36459:29
4 дня – 1 15647:08
7 дней – 7 2770:28
8 дней – 31 9080:25
9 дней – 931:14:46
11 дней – 5 4550:33Случайные видео
177 дней – 4 6184:28:09
225 дней – 8 1560:14
08.05.23 – 3 4601:30:37
24.09.22 – 36 2821:05:55
26.08.22 – 5 05412:40
03.12.16 – 20 0122:58
1 день – 5871:31:43
2 дня – 8 5781:40:54
4 дня – 1 0831:00
5 дней – 41 15824:45
5 дней – 21 2513:09
6 дней – 26 87051:39
7 дней – 6 01622:16
17 часов – 17 9281:46