| 000 | 00587 a2200145 4500 | ||
|---|---|---|---|
| 003 | DZ-ElOued | ||
| 005 | 20260602170949.0 | ||
| 100 | 1 | _aBENHACINE, Djilani | |
| 700 | 1 | _aBoucherit, Ammar | |
| 700 | 1 | _aHACHI, Yacine | |
| 245 | 0 | 0 | _aConcep tion et Réalisation d'un outil de Génération automatique de Spécification Maude à partir des réseaux de Petri |
| 260 |
_b _c2016 |
||
| 650 | 4 | _a/Concep//tion//et//Rǎlisation//d//un//outil//de//Gňřation//automatique//de//Spčification//Maude///̉/partir//des//ršeaux//de//Petri/ | |
| 942 | _cTHESIS | ||
| 999 |
_c15165 _d15165 |
||