000 01484cam a2200361 a 4500
005 20150623165345.0
008 090316s2009 ne a b 001 0 eng
015 _aGBA946936
_2bnb
016 7 _a015180709
_2Uk
020 _a9780123742308 (hardcover : alk. paper)
020 _a0123742307 (hardcover : alk. paper)
035 _a(OCoLC)ocn299711039
040 _aDLC
_cDLC
_dBTCTA
_dYDXCP
_dUKM
_dC\P
_dBWX
_dCDX
_dDLC
060 _bR E
082 0 0 _a004.1
_222
084 _a004.1
_bR E
100 1 _aRoychoudhury, Abhik.
245 1 0 _aEmbedded systems and software validation
_h[[Book] /]
_cAbhik Roychoudhury.
260 _aAmsterdam ;
_aBoston :
_bMorgan Kaufmann Publishers/Elsevier,
_c2009.
300 _a254 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.
830 0 _aMorgan Kaufmann series in systems on silicon.
906 _a7
_bcbc
_corignew
_d1
_eecip
_f20
_gy-gencatlg
925 0 _aacquire
_b2 shelf copies
_xpolicy default
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
001 0000076663
003 0000
942 _cBK
999 _c20923
_d20923