Logic synthesis and verification algorithms
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9788181284839
- 621.395 22 HAC-L
- TK7874.75 .H33 2006
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Electronics and Communication Engineering | 621.395 HAC-L (Browse shelf(Opens below)) | Available | 002498 |
Total holds: 0
Includes bibliographical references (p. 537-553) and index.
There are no comments on this title.