000 00482nam a2200157Ia 4500
008 210716s2008 xx 000 0 und d
020 _a9788181288653
041 _aeng
082 _a005.41 MISP
100 _aMishra, Prabhat; Dutt, Nikil D.
245 _aFunctional verification of programmable embedded architectures: a top down approach.
_bA top down approach.
250 _a1
260 _aNew Delhi
_bSpringer
_c2008
300 _axviii,180
650 _aEmbedded Programming
999 _c189480
_d189480