| 000 | 00398 a2200133 4500 | ||
|---|---|---|---|
| 003 | DZ-ElOued | ||
| 005 | 20260602170157.0 | ||
| 100 | 1 | _aDjaber, Khaled | |
| 700 | 1 | _aSad̐ouni, Djamel Eddine | |
| 245 | 0 | 0 | _aVérification formelle des systémes temps réel |
| 260 |
_b _c2010 |
||
| 650 | 4 | _a/Vřification//formelle//des//systm̌es//temps//rěl/ | |
| 942 | _cTHESIS | ||
| 999 |
_c9628 _d9628 |
||