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

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

(Различия между версиями)
Перейти к: навигация, поиск
(Новая: <br /> <div align="center" style="border-width:1px; border-style:dotted; border-color:#000; text-align:center; font-weight:bold; font-size:11px;"> [[МФСП|Формальная спе...)
Строка 1: Строка 1:
-
<br />
+
<br clear="both" />
<div align="center" style="border-width:1px; border-style:dotted; border-color:#000; text-align:center; font-weight:bold; font-size:11px;">
<div align="center" style="border-width:1px; border-style:dotted; border-color:#000; text-align:center; font-weight:bold; font-size:11px;">
[[МФСП|Формальная спецификация и верификация программ]]
[[МФСП|Формальная спецификация и верификация программ]]

Версия 02:12, 27 сентября 2008


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


Лекции

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


Календарь

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

01 02 03 04 05 06 07 08 09


Календарь

Сентябрь
01 08 15 22 29
Октябрь
06 13 20 27
Личные инструменты
Разделы