Teach-In
6,7K подписчиков • 8 просмотров • 3 месяца назад

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 6. Объявление типов в Isabelle/HOL

Объявление типов в Isabelle/HOL. Рекурсивные функции. Индукция.

Курс: Формальная семантика и верификация программного обеспечения

Ссылка на плейлист:
www.youtube.com/...4cCO-KpkIc

#мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо
…
Технологии
Больше по теме