Шаблон:МФСП

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

(Различия между версиями)
Перейти к: навигация, поиск
(Новая: {{Курс МФСП}} Категория:МФСП Категория:Лекции {{Lection}})
Текущая версия (15:03, 12 сентября 2008) (править) (отменить)
(Новая: {{Курс МФСП}} Категория:МФСП Категория:Лекции {{Lection}})
 

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


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

Лекции

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

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


Эта статья является конспектом лекции.
Получено с http://esyr.org/wiki/%D0%A8%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD:%D0%9C%D0%A4%D0%A1%D0%9F
Личные инструменты
Разделы