Hardware verification using inductive theorem proving (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2005Edition: Description: iv,38 p; 29 cmISBN: Subject(s): Sivakumar, G | Theses and Dissertations | Computers, Integrated circuits-Verification , Automatic theorem proving, Induction (Mathematics)Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB | 043:681.3.07:517.1Agr | Not for loan | D02B19 | 207062 |
Total holds: 0
There are no comments on this title.