Questão
ID 562567Disciplina: Tecnologia da Informação
Assunto: Busca Sequencial
Ano: 2005 Banca: NCE - Núcleo de Computação Eletrônica UFRJ Órgão: Banco Nacional de Desenvolvimento Econômico e Social
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 é: