Лекция 1 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум
1 062
44.3
Лекториум193 тыс
Следующее
25.09.15 – 99 8651:27:08Популярные
22 дня – 12213:04
23 дня – 3523:16Опубликовано 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 день – 39 92923:45
7 дней – 5 7311:01
7 дней – 17 9790:16
Случайные видео
139 дней – 59 6320:14
351 день – 80 2340:39
17.04.23 – 9190:15
12.09.21 – 8 1638:54
30.04.21 – 2 1347:03
11.03.12 – 3 0501:11:05
6 дней – 2 3954:28
8 дней – 508:21
9 дней – 1 22710:35
9 дней – 1391:01
10 дней – 7142:30
10 дней – 9249:03
10 дней – 8847:44
7 часов – 1650:44