Considere o trecho de código abaixo:
{n = -4}
Se n > 0 então
y = -1*n
Senão
y = n
{y = menos 4}
Assinale a alternativa que contém as expressões para as triplas de Hoare a serem verificadas na correção do trecho de código.
Anexos:
Soluções para a tarefa
Respondido por
1
Resposta:
código abaixo:
{n = -4}
Se n > 0 então
y = -1*n
Senão
y = n
{y = menos 4}
Explicação:
código abaixo:
{n = -4}
Se n > 0 então
y = -1*n
Senão
y = n
{y = menos 4}
Perguntas interessantes
Matemática,
7 meses atrás
Matemática,
7 meses atrás
ENEM,
7 meses atrás
Matemática,
9 meses atrás
Matemática,
9 meses atrás
Matemática,
1 ano atrás