Лекция 2 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум
264
Лекториум193 тыс
Следующее
25.09.15 – 1 0621:00:07Популярные
22 дня – 21111:02
Опубликовано 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 дня – 41 28920:48
3 дня – 2633:02
8 дней – 29 07628:07
9 дней – 48 6491:00
10 дней – 1 52742:29
Случайные видео
340 дней – 14413:51
18.10.23 – 8 22415:29
24.07.23 – 4073:00
28.06.23 – 10 2301:31:06
21.12.21 – 18544:43
07.11.18 – 4 9873:31
1 день – 6132:43
1 день – 193 36330:20
3 дня – 24 4203:21
6 дней – 9 31534:59
8 дней – 16 3481:06:16
10 дней – 124 79438:37
2 дня – 42 8981:31