Методы формальной верификации программ 2013
Материал из SEWiki
Версия от 21:17, 24 октября 2013; SemenMartynov (обсуждение | вклад)
Лектор - Карпов Юрий Глебович
Практика - Шошмина Ирина Владимировна
Лекции
Домашние задания (курсовик)
Шошмина Ирина Владимировна ishoshmina@dcn.icc.spbstu.ru
Где найти:
- по вторникам 16.00 - 20.00, 9-й корпус политеха (ФТК), ауд. 105а
- по четвергам (с декабря), 14:00-16:00 в АУ
О посещении в другое время необходимо договариваться заранее по почте: ishoshmina@dcn.icc.spbstu.ru"
Список литературы
Ссылки
Книга Верификация распределенных систем (Ю.Г. Карпов, И.В. Шошмина.)
