Observe a seguinte especificação formal de um programa, onde I e O representam os vetores de entrada e saída, respectivamente:
{n > 0}
P
P
{ !$ \forall !$ i (1 !$ \le !$ i !$ \le !$ n) !$ \rightarrow !$ ( Oi =In-i+1)}
O vetor de saída produzida por este programa conterá:
Provas
Questão presente nas seguintes provas
Analista Judiciário - TI/Análise de Sistemas
50 Questões