Смотреть видео

MIPT Coq 22 Lect 14

Спасибо! Поделитесь с друзьями!

URL

Вам не понравилось видео. Спасибо за то что поделились своим мнением!

Sorry, only registred users can create playlists.
URL


Добавлено by Admin В Короткая программа
4 Просмотры

Описание

Интерактивное доказывание теорем (Coq) в МФТИ. Темы: реализация простейшего императивного ЯП (продолжение); модель памяти; значение арифметических и булевых термов ; семантика управляющих конструкций языка; верификация простейших программ.

========
Если видео показалось вам полезным, вы можете поддержать автора:
===
If you have found this video helpful, you might want to support the author:
===
BTC: bc1q3p5x57cppjs0rfgj5f406yrljxylg96seed0t4

Написать комментарий

Комментарии

Комментариев нет. Будьте первым кто оставит комментарий.
На сайте представлены видео лучших выступлений о фигурном катании. Международный чемпионаты, произвольные и парные выступления фигуристов. Обзоры и новости в мире фигурного катания.
Контакты: admin@iceskatingfigure.ru Карта сайта