Introduction to Formal Hardware Verification
Material type:
TextPublication details: Subhas Stores Books Corner 2014Description: 269ISBN: - 9783540654452
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Reference
|
NMIT | M.Tech-VLS | 004.25 KRO (Browse shelf(Opens below)) | Not for loan | 17711 | ||
Books
|
NMIT | ECE | 004.25 KRO (Browse shelf(Opens below)) | Checked out | 2012-07-02 00:00 | 17371 | |
|
Books
|
NMIT | ECE | 683 KRO (Browse shelf(Opens below)) | Checked out | 2010-08-25 00:00 | 11430 | |
|
Books
|
NMIT | ECE | 683 KRO (Browse shelf(Opens below)) | Checked out | 2010-08-25 00:00 | 11431 | |
|
Books
|
NMIT | ECE | 683 KRO (Browse shelf(Opens below)) | Checked out | 2010-08-25 00:00 | 11432 |
Browsing NMIT shelves, Collection: M.Tech-VLS Close shelf browser (Hides shelf browser)
| 004.25 BLA Computer Architecture : Concepts and Evoluation Part 1 | 004.25 HEN Computer Architecture : A Quantitative Approach | 004.25 HEN Computer Architecture : A Quantitative Approach | 004.25 KRO Introduction to Formal Hardware Verification | 004.33 SIE Real-Time Embedded Systems and Components | 004.33 SIE Real-Time Embedded Systems and Components | 004.33 SIE Real-Time Embedded Systems and Components |
There are no comments on this title.
Log in to your account to post a comment.