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, ...

Part of the document