001021139
100  $a                         y50      
101  $afre
2001 $aVérification intéractive de circuits par l'analyse incrémentale$bressource électronique
210  $aEcole Nationale Supérieure d'informatique : Département de Post-Graduation$cEcole Nationale Supérieure d'informatique
328 1$bMagister$cInformatique$eDépartement de Post-Graduation , Ecole Nationale Supérieure d'informatique
700  $aKOUDIL, mouloud
801 0$aDZ$bCERIST PNST
901$ac