Académique Documents
Professionnel Documents
Culture Documents
Type de Données Abstraits
Type de Données Abstraits
Inf-2120
v.193
CONTENUS
• Définitions
• Techniques
• Exemples : Liste, Pile, File.
• Description
• Implémentation
DÉFINITION
• Formelles
• Langages spécialisé pour la description formelle (Spec, Z, …).
• Description très précise.
• Non Formelles
• Langage naturelle.
• Description peu precise.
• Semi-Formelles
• Mélange de description non formelle et formelle.
EXEMPLES
Accès
Accès spécialisé
séquentielle