001028038
100  $a                         y50      
101  $afre
2001 $aFormalisation des besoins fonctionnels des sysètmes Multi agents à l'aide de Maude $bressource électronique
210  $aUniversité de Tébessa - Larbi Tébessi  : Département d'Informatique$cUniversité de Tébessa - Larbi Tébessi 
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Tébessa - Larbi Tébessi 
610  $aSpécification formelle 
610  $a multi agent
610  $a besions fonctionnels 
610  $a cas d'utilisation 
700  $aHAMIDANE, fathi
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac