Koha online

Normal view MARC view ISBD view

Drechsler, Rolg

Formal Verification of Circuits - London: Kluwer Academic Publishers, 2000 - 179 p.; Illus. Index.: 24 cm.

ISBN: 079237858X (hbk)

Subjects--Topical Terms:
Arithmetic Circuits
Circuits
Digital Systems
Minimization of DDS
Technology

Dewey Class. No.: 621.38150287 / DRE