| 000 | 00573nam a22001697a 4500 | ||
|---|---|---|---|
| 020 | _qHard Cover. | ||
| 082 | _a621.3 | ||
| 100 | _aGauhar, Ayesha | ||
| 245 |
_aTowards the Higher-Order-Logic Formalization of MATLAB Functions / _cAyesha Gauhar. |
||
| 260 |
_aIslamabad: _bSEECS - NUST, _c2018. |
||
| 300 |
_a41 p. : _bill. ; _c30cm. _e+CD |
||
| 650 |
_aElectrical Engineering MS-Thesis. _916073 |
||
| 700 | _aDr. Osman Hasan | ||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/16528 | ||
| 942 |
_2ddc _cTHE |
||
| 999 |
_c533135 _d533135 |
||