Departamentos

Oferta de

Livro - Introdução à Abstração de Dados - Vol. 21 - Série Livros Didáticos Informática UFRGS

Mais ofertas de

por

R$ 44,90

* Confira sempre o valor atualizado antes de efetuar a compra.

Mais informações da Oferta

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, porque as especificações são interpretáveis (executáveis) em qualquer computador, permitindo testá-las quanto a sua corretude.