Зиборов К.В.- Формальная семантика и верификация ПО - Семинар 4.Логика высшего порядка Isabelle/HOL

Аватар автора
Teach-In
Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо

Скачать Видео с Дзена / Dzen

Рекомендуем!

0/0


0/0

0/0

0/0