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.

SKU	276966
Autor	NUNES, DALTRO J.
Editora	BOOKMAN
ISBN	9788540700789
EAN	9788540700789
Categoria	Informática e Tecnologia
Assunto	Ciencia da Computação
Páginas	394
Número da Edição
Ano da Edição	2012
Encadernação	Brochura