000			01382nam a2200337Ia 4500
001			ebr10053328
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			960502r20021996maua sb 001 0 eng d
010			_z 96021769
020			_z0306475928 (eBook)
020			_z0792397460 (alk. paper)
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)70757204
050	1	4	_aTK7874.75 _b.H33 2002eb
100	1		_aHachtel, Gary D.
245	1	0	_aLogic synthesis and verification algorithms _h[electronic resource] / _cby Gary D. Hachtel, Fabio Somenzi.
260			_aBoston : _bKluwer Academic, _cc2002, 1996.
300			_axxxii, 597 p. : _bill.
504			_aIncludes bibliographical references and index.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2009. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aComputer-aided design.
650		0	_aIntegrated circuits _xVerification.
650		0	_aIntegrated circuits _xVery large scale integration _xDesign and construction _xData processing.
650		0	_aLogic design _xData processing.
655		7	_aElectronic books. _2local
700	1		_aSomenzi, Fabio.
710	2		_aebrary, Inc.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10053328 _zAn electronic book accessible through the World Wide Web; click to view
999			_c170016 _d170016