000 00962cam a2200265 a 4500
001 4453524
003 IIITD
005 20180626123408.0
008 950919s1996 enka b 001 0 eng
010 _a 95042733
020 _a0134552970
040 _aDLC
_cDLC
_dDLC
050 0 0 _aQA76.54
_b.R4298 1996
082 0 0 _a005.2
_220
_bJOS-R
100 _aJoseph, Mathai (ed.)
245 0 0 _aReal-time systems :
_bspecification, verification and analysis
_cedited by Mathai Joseph.
260 _aNew York :
_bPrentice Hall,
_c©2001.
300 _axii, 278 p. :
_bill. ;
_c26 cm.
440 0 _aPrentice Hall International series in computer science
504 _aIncludes bibliographical references (p. 259-271) and index.
650 0 _aReal-time data processing.
906 _a7
_bcbc
_corignew
_d1
_eocip
_f19
_gy-gencatlg
942 _2ddc
_cBK
955 _apb11 to ja00 09-19-95; jf03 to Subj. 09-20-95; jf11 to sl 09-21-95;jf12 09-21-95; CIP ver. pv03 07-19-96
999 _c24905
_d24905