Exercices corriges Spécification formelle: Types de données abstraits (Adt)

Génie logiciel avancé ... Définir et utiliser les techniques algébriques de spécification (ADT) pour ... Exercice : Ecrire les équations pour.