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: |
L112-9788540700789 |
Código de barras: |
9788540700789 |
Peso (kg): |
0,510 |
Altura (cm): |
23,00 |
Largura (cm): |
16,00 |
Espessura (cm): |
2,20 |
Autor |
J., NUNES |
Editora |
BOOKMAN |
Idioma |
Português |
Encadernação |
BROCHURA |
Páginas |
394 |
Ano de edição |
2012 |