| 000 | 00613nam a22001937a 4500 | ||
|---|---|---|---|
| 003 | NUST | ||
| 005 | 20220831100703.0 | ||
| 008 | 190626b ||||| |||| 00| 0 eng d | ||
| 038 | _aMr. Zahoor | ||
| 082 | _a621.3 | ||
| 100 |
_aMahum Naseer _915598 |
||
| 245 |
_aFormal Verification of ECCs for Memories Using ACL2/ _cMahum Naseer |
||
| 260 |
_aIslamabad : _bSEECS NUST, _c2018. |
||
| 300 |
_aix, 38p. : ill. ; _c30cm |
||
| 500 | _aHard cover | ||
| 600 |
_2SEECS - Electrical Engineering - Ms Thesis _aMahum Naseer _915598 |
||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/16563 | ||
| 942 |
_2ddc _cTHE |
||
| 999 |
_c524806 _d524806 |
||