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

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

(Различия между версиями)
Перейти к: навигация, поиск
 
(1 промежуточная версия не показана)
Строка 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

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

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