Formal verification an essential toolkit for modern VLSI design
Material type:
TextPublication details: Hampshire Street Elsevier/MK 2023Description: xix, 405 p. ill. 24 cmISBN: - 9780323956123 (pbk)
- 621.395 SEL
| Item type | Current library | Call number | URL | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Book Bank
|
Gulberg Green Campus | 621.395 SEL (Browse shelf(Opens below)) | Link to resource | 1 | Available | 33929 |
Includes index.
There are no comments on this title.
Log in to your account to post a comment.