Introdução à abstração de dados
volume 21

bookman; livros; algorítmo; abstração; Introdução à Abstração de Dados; informática; tecnologia; exatas; solução; informação; ufrgs; ciências; modelar; modelagem; Daltro J. Nunes; programação; computação; especificar; Livros Didáticos Informática UFRGS (21); introdução; didáticos; maude; Bookman; grupo a; aplicadas; Nunes, Daltro J.; computacionais; problema; dados

Sinopse

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.

Metadado adicionado por Grupo A em 23/08/2023

ISBN relacionados

--