| 000 | 00435nam a2200133Ia 4500 | ||
|---|---|---|---|
| 010 | _a2746213036 | ||
| 090 |
_a70792 _970792 |
||
| 100 | _a20140919 frey50 | ||
| 101 | _afre | ||
| 200 |
_aSystème temps réel 1 _eTechniques de description et de vérification _fNavet Nicolas _bLIVR |
||
| 210 |
_cHermes-science _aParis _d2006 |
||
| 215 |
_a370 p. _d24 cm |
||
| 225 | _aInformatique et systèmes d'information | ||
| 300 | _aBibliogr.p.359 Index p.363 | ||