Formal Verification of ECCs for Memories Using ACL2/ Mahum Naseer
Material type:
TextPublisher: Islamabad : SEECS NUST, 2018Description: ix, 38p. : ill. ; 30cmSubject(s): Mahum NaseerDDC classification: 621.3 Online resources: Click here to access online
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Thesis
|
Central Library (CL) | Central Library (CL) | Thesis | 621.3 (Browse shelf) | Available | CL-T-3888 | ||
|
Thesis
|
Central Library (CL) | Central Library (CL) | Thesis | 621.3 (Browse shelf) | Available | CL-T-1830 |
Total holds: 0
Browsing Central Library (CL) shelves, Shelving location: Thesis Close shelf browser
Hard cover
There are no comments on this title.