000 00481nam a2200133Ia 4500
008 231221s9999 xx 000 0 und d
020 _a978-0-387-36254-0
041 _aEnglish
100 _aMike Mintz, Robert Ekendahl
245 0 _aHardware Verification with C++
260 _c2006
_bSpringer US
_aNew York
650 _aCircuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Programming Languages, Compilers, Interpreters; Electrical Engineering
942 _cEB
999 _c225633
_d225633