000 00333nam a2200121Ia 4500
008 211209s9999 xx 000 0 und d
020 _a9788181288653
041 _aeng
082 _a004.22 MIS
100 _aMISHRA
245 _aFUNCTIONAL VERIFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURES A TOP-DOWN APPROACH
260 _bSPRINGER
999 _c79560
_d79560