Seja s subscript i uma proposição dada por um laço da forma:
enquanto B, faça
P
fim do enquanto
Na verificação de correção do trecho s subscript i, se Q é a pré-condição, qual deve ser a pós-condição que deve ser verificada após a aplicação da proposição s subscript i?
Please enter comments
Please enter your name.
Please enter the correct email address.
You must agree before submitting.

Lista de comentários


Helpful Social

Copyright © 2024 ELIBRARY.TIPS - All rights reserved.