| 000 | 00502nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 170106s2009||||xx |||||||||||||| ||und|| | ||
| 020 | _a9781402097133 | ||
| 082 |
_a004 _bRAD |
||
| 100 | _aRadetzki, Martin | ||
| 245 | 0 | _aLanguages for embedded systems and their applications : selected contributions on specification design and verification from FDL 08 | |
| 260 |
_aNew York _bSpringer _c2009 |
||
| 300 | _axiv, 324p. ; 24cm | ||
| 440 | _aLecture notes in electrical Engineering : v.36 | ||
| 942 | _cBK | ||
| 999 |
_c17089 _d17089 |
||