Current trends in hardware verification and automated theorem proving
Material type:
TextPublication details: New York Springer-Verlag 1989Edition: Description: 489pISBN: - 621.3.049.77
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University Library | 621.3.049.77 BIR (Browse shelf(Opens below)) | Available | 00037171 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
|
No cover image available |
|
No cover image available |
|
|
|
||
| 621.3.049.77 BHA VHDL Primer | 621.3.049.77 BIE Microelectronic design | 621.3.049.77 BIG Digital electronics | 621.3.049.77 BIR Current trends in hardware verification and automated theorem proving | 621.3.049.77 BIR Electrical circuit theory and technology | 621.3.049.77 BIR;1 Electrical circuit theory and technology | 621.3.049.77 BIR "2006" Electrical circuit theory and technology |
There are no comments on this title.