Канал пользователя kornevgen
Loading...
54
subscribers
117,619
video views
Uploaded videos
1-10 of 147-
ФСВП. Лекция №13. часть вторая.
kornevgen
74 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №13. часть первая.
kornevgen
13 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №12. часть вторая.
kornevgen
25 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №12. часть первая.
kornevgen
15 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №11. часть вторая.
kornevgen
47 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №11. часть первая.
kornevgen
48 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №10. часть вторая.
kornevgen
18 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №10. часть первая.
kornevgen
21 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №9. часть вторая.
kornevgen
22 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
-
ФСВП. Лекция №9. часть первая.
kornevgen
11 views
Формальная спецификация и верификация программ. факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. лектор: Хорошилов Алексей Владимирович
Advertisement
Play all(147)