000			00555nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a3540654453 _c(hbk)
082			_223 _a621.392 _bKRO
100			_aKropf, Thomas
245		0	_aIntroduction to Formal Hardware Verification
260			_aNew York: _bSpringer-Verlag, _c1999
300			_a299 p.; _bIllus. Index: _c23 cm.
650			_aBoolean Functions
650			_aCircuit Design
650			_aFormal Hardware Verification
650			_aHigher-Order Logics
650			_aModeling
942			_2ddc _cBK
999			_c6287 _d6287