Report - Modélisation des données Un langage pour décrire INVARIANT, PRE-CONDITION, EXPRESSION Concepts et notations utilisés Logique Ensembles Relations.

Please pass captcha verification before submit form