Salut
Je cherche un cour sur les spécifications algébrique j'ai rien trouvé sur internet si vous avez un cour ou une aide pour moi svp.
merci d'avence
Version imprimable
Salut
Je cherche un cour sur les spécifications algébrique j'ai rien trouvé sur internet si vous avez un cour ou une aide pour moi svp.
merci d'avence
Le cours de Denis Lapoire structures arborescentes utilise une notation ensembliste accompagnée d'une axiomatisation du TAD, généralement c'est ce genre de notations qu'on appelle spécification algébrique.