Курс «Формальные методы обеспечения качества ПО»

Информация о курсе на осень 2010.

Преподаватели:
Моисеев М. Ю.
Ахин М. Х.
Захаров А. В.
Цесько В. А.
Расписание занятий:
Четверг 16:00-18:00, 9-319
Страницы:
Блог курса
Лекции и задания
Литература