Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
2 406
9
Лекториум193 тыс
Следующее
Популярные
52 дня – 266:58
349 дней – 76826:21Опубликовано 25 октября 2019, 11:23
Лекция 1 | Автор: Антон Трунов | Курс: Введение в язык формальной верификации Coq | Организаторы: Математическая лаборатория имени П.Л. Чебышева
Смотрите это видео на Лекториуме: lektorium.tv/node/35486
Смотрите другие лекции курса «Введение в язык формальной верификации Coq»: lektorium.tv/node/35485
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/node/35486
Смотрите другие лекции курса «Введение в язык формальной верификации Coq»: lektorium.tv/node/35485
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
4 дня – 1 5091:24:25
5 дней – 3 6630:24
10 дней – 4242:20
62 дня – 1 1700:55
181 день – 273 31622:00Случайные видео
343 дня – 1 28625:31
10.01.23 – 94 3091:00
24.05.16 – 3176:39
12 дней – 8 3181:00
12 дней – 87 77718:35
3 дня – 9 9220:54
5 дней – 6 2470:58
8 дней – 4953:15
9 дней – 75822:13
11 дней – 11 9560:28
13 дней – 1 4521:20:16
