000 00385nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a0792376269
082 _a621.3819642 J34
100 _aJANKA, R.S
245 0 _aSPECIFICATION AND DESIGN METHODOLOGY FOR REAL-TIME EMBEDDED SYSTEMS
260 _aBoston
_bKluwer Academic
_c2002
300 _axxxi+221p.,24X16Cms.
942 _cBK
_2DDC
999 _c30459
_d30459