Я хочу написать простую функцию, которая находит наибольшее число в данном массиве целых чисел. Вот спецификация: package Maximum with SPARK_Mode is type Vector is array(Integer range <>) of Integer; function Maximum (A : in Vector)...