Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
2 436
9
Лекториум194 тыс
Следующее
Популярные
16 дней – 3399:07
19 дней – 494:39Опубликовано 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
Свежие видео
3 дня – 50 9411:55:26
4 дня – 4 6673:39:55
Случайные видео
239 дней – 20 5940:49
333 дня – 105 06252:43
338 дней – 83614:48
25.01.23 – 2 9740:30
04.07.22 – 24 35215:57
08.10.20 – 2636:52
22 часа – 3190:15
3 часа – 08:58
2 дня – 2 0850:57
4 дня – 3 79823:58
5 дней – 6 94311:39
6 дней – 3 0539:27
7 дней – 3 7101:00
2 дня – 7 2862:49:42