Esta página serve de suporte ao livro com o mesmo título.
Aqui pode encontrar o código
fonte Java das estruturas da dados descritas bem como material de apoio auxiliar.
Dúvidas, sugestões ou outra
informação que considerar útil, envie-me um email.
1.
tipos e variáveis 2. estrutura de controlo 3. vectores 4. classes 5. recursão 6. excepções e asserções 7. entrada e saída de dados 8. especificação 9. abstracção 10. herança 11. desenho por contrato 12. programação por eventos 13. análise de algoritmos 14. listas 15. pilhas e filas 16. conjuntos 17. árvores 18. tabelas 19. ordenação 20. programação dinâmica |
Nenhuma destas aplicações é obrigatória. Os programas podem ser executados através do pacote de desenvolvimento da Sun. Os contratos, se não forem executados pelo JML, são transparentes para o compilador Java.
código Java | aplicações | errata (1ª Edição)