| 000 | 00557nam a22001577a 4500 | ||
|---|---|---|---|
| 999 |
_c534739 _d534739 |
||
| 020 | _qHard Cover. | ||
| 082 | _a004 | ||
| 100 | _aMuhammad Usman Sanwal. | ||
| 245 |
_aFormal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving / _cMuhammad Usman Sanwal. |
||
| 260 |
_aIslamabad : _bRCMS - NUST, _c2012. |
||
| 300 |
_aix, 50 p. ill. ; _c30cm. |
||
| 942 |
_2ddc _cTHE |
||
| 650 |
_aComputational Science And Engineering - MS Thesis. _923279 |
||
| 700 |
_aDr. Osman Hasan. _917244 |
||