P é um módulo de software que recebe como entrada dois tipos de dados: o primeiro (X) descreve o saldo atual de uma conta corrente e o segundo, (Y) um valor de débito para essa conta. O módulo produz como saída (Z), que descreve o saldo atualizado da conta corrente. As estruturas desses tipos de dados são descritas como:
X=Número+Saldo Y=Número+Débito Z=Número+NSaldo
O item que descreve as pré-condições (Pré) e pós- condições (Pós) para essa transação é:
Autenticação
Limite Diário Atingido
Você atingiu o limite de 10 questões diárias para usuários sem plano. Ao se tornar um membro, você poderá:
Resolver mais questões e melhorar seu desempenho.
Acessar conteúdo exclusivo da IAProvatec.
Potencializar seus estudos com estatísticas avançadas.
Que tal se tornar um membro agora e aproveitar todos os recursos da plataforma?
