000			00841pam a2200217a 44500
008			160408b1994 xxu||||| |||| 00| 0 eng d
020			_a0792394542
040			_aP K Kelkar Library, IIT Kanpur
082			_a621.395 _bL16t
100			_aLam, William K. C.
245	0		_aTimed boolean functions _ba unified formalism for exact timing analysis _cWilliam K. C. Lam and Robert K. Brayton
260			_aBoston _bKluwer Academic Publishers _c1994
300			_axx, 273p
440			_aThe Kluwer International Series In Engineering And Computer Science _v
650			_aAlgebra, Boolean--Data processing
650			_aComputer algorithms
650			_aIntegrated circuits--Very large scale integration--Design--Data processing
650			_aLogic design--Data processing
700			_aBrayton, Robert K.
997			_aA174985 s C
999			_c371565 _d371565