| 000 | 00628nam a22001937a 4500 | ||
|---|---|---|---|
| 003 | NUST | ||
| 020 | _qHardcover. | ||
| 038 | _aMr. Zahoor | ||
| 082 | _a200 | ||
| 100 |
_aRashid, Adnan _917242 |
||
| 245 |
_aFormalization of transform methods using higher-order-logic theorem proving / _cAdnan Rashid |
||
| 260 |
_aIslamabad: _bSEECS - NUST, _c2019. |
||
| 300 |
_axvi, 122 p. : ill. ; _c30cm. |
||
| 600 |
_aDr. Osman Hasan _917244 |
||
| 650 |
_aPhD Thesis-Information Technology _9124746 |
||
| 700 |
_aSupervisor:Dr Osman Hasan _997781 |
||
| 856 | _u http://10.250.8.41:8080/xmlui/handle/123456789/26277 | ||
| 942 |
_2ddc _cSC |
||
| 999 |
_c526273 _d526273 |
||