Задания СРМ
Требуемые условия завершения
Подготовить реферат на тему:
Методика доказательства правильности программ.