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

Материал из SEWiki
Версия от 11:13, 17 октября 2013; A-mayoroff (обсуждение | вклад) (→‎Домашние задания (курсовик))

Перейти к: навигация, поиск

Лектор - Карпов Юрий Глебович

Практика -

Лекции

Лекция 1. Введение

Домашние задания (курсовик)

Шошмина Ирина Владимировна ishoshmina@dcn.icc.spbstu.ru

Где найти: по вторникам 16.00 - 20.00, 9-й корпус политеха (ФТК), ауд. 105а

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

Ссылки

http://dcn.infos.ru/~karpov/

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