De: R$ 0,00Por: R$ 113,00ou X de
Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Calcule o valor do frete e prazo de entrega para a sua região
Editora
ISBN
Páginas
Idioma
Peso
AcabamentoSinopse
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.
Ficha Técnica
Especificações
| ISBN | 9788540700789 |
|---|---|
| Subtítulo | VOLUME 21 |
| Pré venda | Não |
| Biografia do autor | Daltro José Nunes é professor titular do Instituto de Informática da Universidade Federal do Rio Grande do Sul. É engenheiro eletrônico pela UFRGS, mestre em ciências em informática pela PUC-RJ, doutor em Naturwissenschaften – Informatik pela Universidade de Stuttgart/Alemanha com pós-doutorado pela mesma universidade. Leciona nos cursos de graduação em ciência da computação e em engenharia de computação e no Programa de Pós-graduação em Computação da UFRGS. Suas áreas de pesquisa são engenharia de software, métodos formais e semântica formal. Participa de grupos de trabalho de educação em computação tanto na Sociedade Brasileira de Computação, na construção de currículos de referência, quanto nos órgãos governamentais, na definição das diretrizes curriculares da área de computação. |
| Peso | 505g |
| Autor para link | NUNES DALTRO J. |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 2.2 |
| Idioma | Português |
| Amostra de conteúdo | Metabooks | https://api.metabooks.com/api/v1/asset/mmo/file/5d884fca29d244a9a4efba785172030c?access_token=b44a17d6-3135-458b-b486-f2fbb39c12c5 |
| Tipo item | Livro Nacional |
| Número de páginas | 394 |
| Número da edição | 1ª EDIÇÃO - 2012 |
| Código Interno | 672810 |
| Código de barras | 9788540700789 |
| Acabamento | BROCHURA |
| Autor | NUNES, DALTRO J. |
| Editora | BOOKMAN |
| Sob encomenda | Sim |