Image from Amazon.com
Formal verification : an essential toolkit for modern VLSI design / Erik Seligman, Tom Schubert and M V Achutha Kiran Kumar
Material type:
TextPublication details: Amsterdam : Elsevier, 2015.Description: xvii, 353 pages : Illistrations ; 24 cmISBN: - 9780128007273
- TK 7874.75 SEL 2015
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Main Library | TK 7874.75 SEL 2015 (Browse shelf(Opens below)) | 1 | Available | 33729005567461 |
Includes index
There are no comments on this title.
Log in to your account to post a comment.