000
00289nam a2200109Ia 4500
008
200907s9999 xx 000 0 und d
020
_a
9783540654452
100
_a
Kropf, T
245
0
_a
Introduction to formal hardware verification
260
_a
Berlin
_b
Springer
_c
1999
300
_a
ix, 299p.
999
_c
43625
_d
43625