Я хочу найти наименьший фактор значения с нижеуказанной спецификацией procedure S_Factor (N : in...

Спецификация: package PolyPack with SPARK_Mode is type Vector is array (Natural range <>) of...

Новый для Spark и новый для Ada, поэтому этот вопрос может быть слишком широким.Тем не менее, это...