Методы формальной верификации программ 2013

Материал из SEWiki
Версия от 20:09, 4 сентября 2013; SemenMartynov (обсуждение | вклад) (Новая страница: «Лектор - Практика - == Лекции == == Домашние задания == == Список литературы == == Ссылки ==»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Лектор -

Практика -

Лекции

Домашние задания

Список литературы

Ссылки

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Методы_формальной_верификации_программ_2013&oldid=2522»