Hardware design verification : simulation and formal method-based approaches
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780137010929
- 621.392 22 LAM-H
- TK7874.58 .L36 2005
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Engineering and Allied Operation | 621.392 LAM-H (Browse shelf(Opens below)) | Available | 008129 |
Total holds: 0
Includes bibliographical references (p. 539-559) and index.
There are no comments on this title.