LDR 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