A roadmap for formal property verification Pallab Dasgupta
Material type:
TextLanguage: Eng Publication details: New Delhi : Springer, 2006Description: xiii, 251 p,: 23 cmISBN: 9781402047572Subject(s): Integrated circuits -- Verification. TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Integrated. TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- GeneralDDC classification: 621.3815 DAS
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Bahadur Institute of Mgmt Sciences | 621.3815 DAS (Browse shelf (Opens below)) | Available | BMS07523 |
Browsing Bahadur Institute of Mgmt Sciences shelves, Shelving location: Management Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 616.89 CAR. Abnormal psychology and modern life | 620.0068 MOH Marketing of high-technology products and innovations | 621.312424 LEV The powerhouse : America, China, and the great battery war | 621.3815 DAS A roadmap for formal property verification | 621.39092 ISA Steve Jobs | 630 CON D Contract farming in india :present scenario and future prospects | 630 CON D contract farming in india: present scenario and future prospects |
Include Index
There are no comments on this title.