000			00690cam a2200193 a 4500
008			950919s1996 enka b 001 0 eng
020			_a0134552970 (pbk.)
082	0	0	_a005.2 _bJOS
100			_aJoseph, Mathai, (Ed.)
245	0	0	_aReal-time systems : _bspecification, verification, and analysis / _cedited by Mathai Joseph.
260			_aLondon ; _aNew York : _bPrentice Hall, _c1996.
300			_axiv, 278 p. : _bill. ; _c24 cm.
440		0	_aPrentice Hall International series in computer science
504			_aIncludes bibliographical references (p. 259-271) and index.
600			_aComputer Science
650		0	_aReal-time data processing.
700	1		_aJoseph, M.
942			_cBK
999			_c62477 _d62477