Спецификация программы - это:
(Отметьте один правильный вариант ответа.)
Варианты ответа
ограничение на совокупность входных и выходных параметров
описание, составленное в формальном языке и служащее способом проверки правильности программы в заданных точках
точное, однозначное и недвусмысленное описание программы с помощью математических понятий, терминов, правил синтаксиса и семантики языка спецификации(Верный ответ)