000 00451pam a2200157a 44500
008 160408b2002 xxu||||| |||| 00| 0 eng d
020 _a0471184063
082 _a004.33
_bC41R
100 _aCheng,Albert M. K.
245 1 _aREAL-TIME SYSTEMS
_cSCHEDULING, ANALYSIS, AND VERIFICATION
260 _a
_bWiley Interscience Pub., New York
_c2002
300 _axxiii,523
650 _aReal-Time Data Processing
964 _gCIRC
997 _aA143586 C
999 _c345591
_d345591