000 01993cam a2200529 a 4500
001 vtls000115515
003 VRT
005 20240802184616.0
008 120806s2009 ne a b 001 0 eng
010 _a2009-011196
015 _aGBA946936
_2bnb
016 7 _a015180709
_2Uk
020 _a9780123742308 (hardcover : alk. paper)
020 _a0123742307 (hardcover : alk. paper)
035 _a(OCoLC)ocn299711039
035 _a15661354
039 9 _a201504270221
_bVLOAD
_c201502081319
_dVLOAD
_c201208061632
_dbactt
_c201208061134
_dhaultt
_y201208060953
_znhantt
040 _aDLC
_cDLC
_dBTCTA
_dYDXCP
_dUKM
_dC#P
_dBWX
_dCDX
_dDLC
041 _aeng
044 _aNL
050 0 0 _aTK7895.E42
_bR72 2009
082 0 0 _a004.1
_bROY 2009
_222
090 _a004.1
_bROY 2009
100 1 _aRoychoudhury, Abhik.
245 1 0 _aEmbedded systems and software validation /
_cAbhik Roychoudhury.
260 _aAmsterdam ;
_aBoston :
_bMorgan Kaufmann Publishers/Elsevier,
_cc2009.
300 _axii, 254 p. :
_bill. ;
_c25 cm.
490 1 _aThe Morgan Kaufmann series in systems on silicon
504 _aIncludes bibliographical references (p. 233-239) and index.
650 0 _aEmbedded computer systems
_xDesign and construction.
650 0 _aEmbedded computer systems
_xTesting.
650 0 _aComputer software
_xTesting.
650 0 _aPhần mềm máy tính
653 _aHệ thống nhúng
653 _aThử nghiệm
653 _aMáy tính
830 0 _aMorgan Kaufmann series in systems on silicon.
906 _a7
_bcbc
_corignew
_d1
_eecip
_f20
_gy-gencatlg
911 _aLê Thị Thanh Hậu
912 _aTrịnh Thị Bắc
925 0 _aacquire
_b2 shelf copies
_xpolicy default
925 _aG
926 _a0
927 _aGT
942 _c18
955 _axh09 2009-03-16
_ixh09 2009-03-16 to sl
_exh09 2009-03-16 to Dewey
_ard14 2009-03-16
_axe05 2009-07-28 2 copies rec'd., to CIP ver.
_axh00 2009-07-31 to USPL/STM
_fxh14 2009-08-08 Z-CipVer copy 1-2 to BCCD
999 _c347976
_d347976