Методика обучения доказательству правильности императивных программ в рамках фундаментальной подготовки учителей информатики в предметной области : Автореф. дис. на соиск. учен. степ. к.п.н. : Спец. 13.00.02
Егорова, Наталья Вячеславовна
2003
Электронная копия. Библиотека также имеет физические копии.