Лекция 2 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
1 413
13.5
Лекториум194 тыс
Следующее
04.10.19 – 3041:24:32Популярные
17 дней – 3399:07
20 дней – 3814:30Опубликовано 26 сентября 2019, 13:36
Лекция 2 | Автор: Антон Трунов | Курс: Введение в язык формальной верификации Coq | Организаторы: Математическая лаборатория имени П.Л. Чебышева
Смотрите это видео на Лекториуме: lektorium.tv/node/35635
Смотрите другие лекции курса «Введение в язык формальной верификации Coq»: lektorium.tv/node/35485
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/node/35635
Смотрите другие лекции курса «Введение в язык формальной верификации Coq»: lektorium.tv/node/35485
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
4 дня – 12 1310:59
4 дня – 4 7526:14
5 дней – 8 42521:20
5 дней – 4 65120:16
9 дней – 47 6971:40:53Случайные видео
220 дней – 3 332 8791:00
31.07.23 – 783 73825:50
29.04.23 – 98347:06
27.12.21 – 3891:29:00
26.01.21 – 32 29110:56
14.10.09 – 45 6154:00
1 день – 26 1800:30
4 дня – 1 7051:30:57
6 дней – 1 79824:15
12 дней – 28 3393:21
16 дней – 6 0111:01
