Лекция 1 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум
1 064
44.3
Лекториум194 тыс
Следующее
25.09.15 – 100 0911:27:08Популярные
34 дня – 5965:48
41 день – 7382:46Опубликовано 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
Свежие видео
3 дня – 41 6411:54:49
5 дней – 48 5161:39:51
6 дней – 13 3591:00:11
6 дней – 14 5892:26
6 дней – 2 6181:04:29Случайные видео
6 дней – 12 3840:27
347 дней – 8163:07:23
1 день – 2 12820:12
1 день – 1 05533:30
2 дня – 13 84543:13
7 дней – 43 61521:24
7 дней – 15 05459:15
7 дней – 30 7930:49
16 дней – 55 2621:42:10
