RAPPORT D'EXAMEN DES OFFRES
Contenu : Techniques de spécification algébrique de base appliquée à la
spécification formelle des structures de données de base de l'informatique (
booléens, ...
Contenu : Techniques de spécification algébrique de base appliquée à la
spécification formelle des structures de données de base de l'informatique (
booléens, ...