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.

Autor	Nunes, Daltro J.
Editora	BOOKMAN
ISBN	8540700786
EAN	9788540700789
Categoria	Matemática / Geral
Assunto	Análise Complexa
Páginas	394
Número da Edição	1
Ano da Edição	0