000 00289nam a2200109Ia 4500
008 200907s9999 xx 000 0 und d
020 _a9783540654452
100 _aKropf, T
245 0 _aIntroduction to formal hardware verification
260 _aBerlin
_bSpringer
_c1999
300 _aix, 299p.
999 _c43625
_d43625