Enseignement des Méthodes Formelles à l’Ecole des Mines de Gardanne en 2010

CLEARSY dispensera des cours relatifs aux méthodes formelles à l’Ecole des Mines de Gardanne, durant le mois de janvier 2010. Ces cours, totaliseront 18 heures d’enseignement, et porteront sur l’initiation des étudiants à la méthode B.