| 000 | 00670cam a2200193 4500 | ||
|---|---|---|---|
| 001 | 0000014151 | ||
| 008 | 231029s9999 xx 000 0 und d | ||
| 020 | 0 | 0 |
_a9781848214477 _cRM305.83 |
| 090 | 0 | 0 |
_a006.22 _bAND |
| 100 | 1 | 0 | _aAndre, Etienne |
| 245 | 1 | 4 |
_aThe inverse method _bparametric verification of real-time embedded systems _cEtienne Andre, Romain Soulat |
| 260 |
_aNew Jersey _bJohn Wiley&Sons _c2013 |
||
| 300 |
_aviii, 150p. _bill. _c24cm. |
||
| 440 | _aFocus computer engineering and it series | ||
| 504 | _aIncludes bibliographical references | ||
| 650 | 0 |
_aComputer systems _xVerification |
|
| 650 | 0 | _aEmbedded computer systems | |
| 700 | 1 | 0 | _aSoulat, Romain |
| 999 |
_c42387 _d42387 |
||