Guyomard, Marc
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
Nyckelord: Computer Science, Computer Science, general, Data Structures, Math Applications in Computer Science, Programming Techniques, Files, Software Engineering/Programming and Operating Systems
- Författare
- Guyomard, Marc
- Utgivare
- Springer
- Utgivningsår
- 2011
- Språk
- fr
- Utgåva
- 1
- Serie
- Collection Télécom
- Sidantal
- 450 sidor
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9782817802008