Лекция 2 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум
265
Лекториум194 тыс
Следующее
25.09.15 – 1 0641:00:07Популярные
29 дней – 5713:17
34 дня – 7636:54Опубликовано 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
Свежие видео
2 дня – 7481:30:28
6 дней – 2 7211:14:47
10 дней – 7101:47
10 дней – 1 0041:00
11 дней – 1 8456:12
12 дней – 10 5560:00Случайные видео
284 дня – 8652:33:10
318 дней – 27 4970:38
331 день – 10 7341:22
10.08.23 – 9729:10
16.07.23 – 12 1728:19
07.12.19 – 1 4914:37
1 день – 15 45158:13
2 дня – 1 2112:10:36
5 дней – 28 37120:27
7 дней – 681:02:11
8 дней – 68 7791:00
8 часов – 1 74010:39