Structures de données et méthodes formelles

Première partie. Les bases

1. Mathématiques pour la spécification et les structures de données
Marc Guyomard

2. Spécifications + Fonction d’abstraction + Calcul = Programme
Marc Guyomard

3. étude de quelques structures outils
Marc Guyomard

4. Analyse d’algorithmes
Marc Guyomard

5. Exemples
Marc Guyomard

Deuxième partie. Structures de données fondamentales : spécification et mises en œuvre

6. Ensembles de clés scalaires
Marc Guyomard

7. Ensembles de clés structurées
Marc Guyomard

8. Files simples
Marc Guyomard

9. Files de priorité
Marc Guyomard

10. Tableaux flexibles
Marc Guyomard

Keywords: Computer Science, Computer Science, general, Data Structures, Math Applications in Computer Science, Programming Techniques, Files, Software Engineering/Programming and Operating Systems