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

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

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

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

Ссылки:


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


Лекции

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

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

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