As estruturas de programação comprovadamente corretas, como ...
As estruturas de programação comprovadamente corretas, como sequência, decisão e repetição, são definidas em linguagens de programação para implementação de algoritmos. Analise o código abaixo que implementa essas estruturas e executa uma tarefa pré-definida.
Sobre esse código, assinale a afirmativa correta.