Spécifications algébriques, algorithmique et programmation
Gardado en:
| Auteurs principaux: | , , |
|---|---|
| Formato: | Livre papier |
| Idioma: | Français |
| Publicado: |
Paris :
InterEditions
DL 1995.
|
| Series: | IIA Informatique, intelligence artificielle
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
Table des matières:
- Première partie. Spécification et programmation
- 1. Construction de programmes
- 2. Spécifications algébriques 1. Le cas équationnel pur
- 3. Spécifications algébriques 2. Le cas général
- 4. Implantation et programmation
- 5. Spécifications étendues
- 6. Piles, files et listes linéaires
- 7. Suppression de la récursivité
- 8. Complexité et optimalité
- Deuxième partie. Structures et algorithmes
- 9. Tables
- 10. Graphes 1. Spécification et implantation
- 11. Graphes 2. Algorithmes classiques
- 12. Arbres et forêts 1. Spécification et implantation
- 13. Arbres et forêts 2. Algorithmes et variétés d'arbres
- 14. Tris internes
- 15. Fichiers
- 16. Tris externes