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.
| Código: |
9788540700789 |
| EAN: |
9788540700789 |
| Peso (kg): |
1,000 |
| Altura (cm): |
23,00 |
| Largura (cm): |
16,00 |
| Espessura (cm): |
2,20 |
| Especificação |
| Autor |
Nunes, Daltro J. |
| Editora |
BOOKMAN |
| Número Edição |
1 |
