Шаблон:Курс МФСП

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

(Различия между версиями)
Перейти к: навигация, поиск
Строка 68: Строка 68:
|}
|}
</td></tr></table></td></tr></table>
</td></tr></table></td></tr></table>
 +
<hr />
 +
[[МФСП: Оформление задач|Оформление задач]]
</div>
</div>

Версия 12:51, 22 декабря 2009


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


Лекции

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

Оформление задач

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