Инженерия надежных и безопасных программ: Учебный курс

Настоящий курс предназначен и читается на математико-механическом факультете СПбГУ для студентов 4 курса специальности 351500 как cпецкурс. Продолжительность курса - 36 часов. Данные материалы входят в состав ''Библиотеки учебных курсов'', формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA)