001019187
100  $a                         y50      
101  $afre
2001 $aLogique et réécriture : langage de spécification et de prototype de systèmes distribués.$bressource électronique
210  $aUniversité de Constantine 1 - Frères Mentouri  : Département de l'Informatique$cUniversité de Constantine 1 - Frères Mentouri 
328 1$bMagister$cInformatique$eDépartement de l'Informatique , Université de Constantine 1 - Frères Mentouri 
700  $aBETTAZ, med
801 0$aDZ$bCERIST PNST
901$ac