МФСП, 11 лекция (от 19 ноября)

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

(Различия между версиями)
Перейти к: навигация, поиск
Строка 1: Строка 1:
Ссылки:
Ссылки:
* [http://sed.ispras.ru/fmprac/data/PVS-Lecture-2008.odt Конспект лекции]
* [http://sed.ispras.ru/fmprac/data/PVS-Lecture-2008.odt Конспект лекции]
 +
 +
{{Курс МФСП}}

Версия 01:21, 7 декабря 2008

Ссылки:


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


Лекции

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

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

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