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: |
L004-9788540700789 |
Código de barras: |
9788540700789 |
Peso (kg): |
0,505 |
Altura (cm): |
23,00 |
Largura (cm): |
16,00 |
Espessura (cm): |
2,20 |
Autor |
Daltro J. Nunes |
Editora |
BOOKMAN |
Idioma |
PORTUGUÊS |
Encadernação |
Brochura |
Páginas |
394 |
Número de edição |
1 |