Методы формальной верификации программ 2013 — различия между версиями
Материал из SEWiki
(→Домашние задания) |
(→Домашние задания (курсовик)) |
||
| Строка 11: | Строка 11: | ||
ishoshmina@dcn.icc.spbstu.ru | ishoshmina@dcn.icc.spbstu.ru | ||
| − | Где найти: по вторникам 16.00 - 20.00, 9-й корпус политеха, ауд. 105а | + | Где найти: по вторникам 16.00 - 20.00, 9-й корпус политеха (ФТК), ауд. 105а |
== Список литературы == | == Список литературы == | ||
Версия 11:13, 17 октября 2013
Лектор - Карпов Юрий Глебович
Практика -
Лекции
Домашние задания (курсовик)
Шошмина Ирина Владимировна ishoshmina@dcn.icc.spbstu.ru
Где найти: по вторникам 16.00 - 20.00, 9-й корпус политеха (ФТК), ауд. 105а
