Trata-se de um livro que ensina a especificar, ou modelar, soluções de problemas computacionais em alto nível de abstração e a desenvolver o raciocínio algorítmico. Para especificar soluções de problemas, o livro utiliza uma linguagem de programação funcional denominada MAuDE. Assim, a atividade de especificação ou modelagem da solução de problemas torna-se prazerosa e gratificante, pois as especificações são interpretáveis (executáveis) em qualquer computador, permitindo testá-las quanto a sua corretude.
Peso: | 0,505 kg |
Número de páginas: | 394 |
Ano de edição: | 0 |
ISBN 10: | 8540700786 |
ISBN 13: | 9788540700789 |
Altura: | 23 |
Largura: | 16 |
Edição: | 1 |
Tipo de produto : | Livro |
Assuntos : | Informática - Geral |
Nós usamos cookies para melhorar a sua experiência no site e, ao continuar navegando, você concorda com essas condições. Acesse o nosso Portal de Privacidade para visualizar nossas Política de Privacidade, Política de Cookies e Termo de Compromisso e Uso do Site.
Avaliações