000 00487pam a2200169a 44500
008 140414b2005 xxu||||| |||| 00| 0 eng d
020 _a9780750677301
082 _a004
_bAND
100 _aANDREWS , JASON R
245 _aCO VERIFICATION OF HARDWARE AND SOFTWARE
_bFOR ARM SOC DESIGN
260 _aNew Delhi
_bElsevier
_c2005
300 _axxiii,260 p.
650 _a VERIFICATION OF HARDWARE AND SOFTWARE
650 _aCOMPUTER SCIENCE
690 _aCOMPUTER SCIENCE
942 _2ddc
999 _c53609
_d53609