Considere a seguinte especificação para um processo que r...

Questão Q109325

2005 Núcleo de Computação Eletrônica UFRJ (NCE) Banco Nacional de Desenvolvimento Econômico e Social (BNDES)

Prova: Concurso Banco Nacional de Desenvolvimento Econômico e Social (BNDES) - Analista de Sistemas Área Desenvolvimento de Sistemas (Com Inglês) - Núcleo de Computação Eletrônica UFRJ (NCE) do ano 2005 • Banco Nacional de Desenvolvimento Econômico e Social (BNDES)

Considere a seguinte especificação para um processo que recebe como entrada um vetor V com n+1 posições e produz uma saída O que é verdadeira se e somente se o valor da primeira posição aparece em uma das n posições seguintes.

Pré: {n>1 }

A pós-condição que completa esta especificação é: