Категория:МФСП

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск
(Новая: {{Курс МФСП}})
(Новая: {{Курс МФСП}})
 

Текущая версия


Формальная спецификация и верификация программ


Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14


Календарь

Сентябрь
03 10 17 24
Октябрь
01 08 15 22 29
Ноябрь
12 19 26
Декабрь
03 17
Семинары

01 02 03 04 05 06


Календарь

Сентябрь
01 08 15 22 29
Октябрь
06

Оформление задач|Проведение экзамена

Личные инструменты
Разделы