Методы формальной верификации программ 2013 — различия между версиями
Материал из SEWiki
(→Домашние задания) |
|||
| Строка 6: | Строка 6: | ||
[http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D0%B8/Lecture%201%20Introduction.pdf Лекция 1. Введение] | [http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D0%B8/Lecture%201%20Introduction.pdf Лекция 1. Введение] | ||
| − | == Домашние задания == | + | == Домашние задания (курсовик) == |
| + | |||
| + | Шошмина Ирина Владимировна | ||
| + | ishoshmina@dcn.icc.spbstu.ru | ||
| + | |||
| + | Где найти: по вторникам 16.00 - 20.00, 9-й корпус политеха, ауд. 105а | ||
== Список литературы == | == Список литературы == | ||
Версия 11:08, 17 октября 2013
Лектор - Карпов Юрий Глебович
Практика -
Лекции
Домашние задания (курсовик)
Шошмина Ирина Владимировна ishoshmina@dcn.icc.spbstu.ru
Где найти: по вторникам 16.00 - 20.00, 9-й корпус политеха, ауд. 105а
