Методы формальной верификации программ 2013 — различия между версиями
Материал из SEWiki
| Строка 1: | Строка 1: | ||
| − | Лектор - Карпов Юрий Глебович | + | Лектор - Карпов Юрий Глебович <karpov@dcn.infos.ru> |
| − | Практика - Шошмина Ирина Владимировна | + | Практика - Шошмина Ирина Владимировна <ishoshmina@dcn.icc.spbstu.ru> |
== Лекции == | == Лекции == | ||
| Строка 17: | Строка 17: | ||
# по четвергам (с декабря), 14:00-16:00 в АУ | # по четвергам (с декабря), 14:00-16:00 в АУ | ||
| − | О посещении в другое время необходимо договариваться заранее по почте: ishoshmina@dcn.icc.spbstu.ru | + | О посещении в другое время необходимо договариваться заранее по почте: ishoshmina@dcn.icc.spbstu.ru |
== Список литературы == | == Список литературы == | ||
| + | [https://docs.google.com/file/d/0BxXYlwgjDSO_RzYxRHIwR1FCWkE/edit?usp=sharing Книга Верификация распределенных систем (Ю.Г. Карпов, И.В. Шошмина.)] | ||
== Ссылки == | == Ссылки == | ||
| Строка 25: | Строка 26: | ||
[https://docs.google.com/spreadsheet/ccc?key=0AhXYlwgjDSO_dEZYbDJIVm9pa0tNdDVzVUF3clJQSnc&usp=sharing#gid=0 Успеваемость] | [https://docs.google.com/spreadsheet/ccc?key=0AhXYlwgjDSO_dEZYbDJIVm9pa0tNdDVzVUF3clJQSnc&usp=sharing#gid=0 Успеваемость] | ||
| − | |||
| − | |||
Текущая версия на 21:19, 24 октября 2013
Лектор - Карпов Юрий Глебович <karpov@dcn.infos.ru>
Практика - Шошмина Ирина Владимировна <ishoshmina@dcn.icc.spbstu.ru>
Лекции
Домашние задания (курсовик)
Шошмина Ирина Владимировна ishoshmina@dcn.icc.spbstu.ru
Где найти:
- по вторникам 16.00 - 20.00, 9-й корпус политеха (ФТК), ауд. 105а
- по четвергам (с декабря), 14:00-16:00 в АУ
О посещении в другое время необходимо договариваться заранее по почте: ishoshmina@dcn.icc.spbstu.ru
Список литературы
Книга Верификация распределенных систем (Ю.Г. Карпов, И.В. Шошмина.)
