Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 5. Переписывание термов

(49:9)

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 2. Доказательства в Isabelle

(1:21:28)

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 7. Индуктивные отношения

(1:1:35)

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 8. Язык Isar

(1:8:8)

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

(1:2:17)

Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 9. Механизм локалей в Isabelle

(1:13:14)

Зиборов К.В.-Формальная семантика и верификация ПО- Семинар 1.Введение в Isabelle.Лямбда-исчисление

(1:12:48)

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

(50:41)

иг. Феофан (Зиборов) \

(7:3)

Иво Бобул vs Павло Зибров в Пародии на Сніданок з 1+1 | Лига Смеха 2018, 30 +

(7:37)

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

(1:5:46)

РАЗВОД НА ЭЛЕКТРИКЕ ОТ ПИДАГОГОВ-СТРОИТЕЛЕЙ #538

(9:10)

иг. Феофан (Зиборов) \

(3:36)

ruSTEP12may22Ziborov

(1:27:11)

Дмитрий ЗИБОРОВ - Степан ТРОФИМОВ

(7)