| 000 | 00539nam a22001697a 4500 | ||
|---|---|---|---|
| 003 | NUST | ||
| 038 | _aNusrat Nadeem | ||
| 082 | _a200 | ||
| 100 |
_aAhmad, Asad _9124739 |
||
| 245 |
_aFormal Analysis of Power Electronics Circuits using Theorem Proving/ _cAsad Ahmad, |
||
| 264 |
_aIslamabad; _bSEECS NUST; _c2022. |
||
| 300 |
_a103,p; _bill; _c30,cm. |
||
| 650 |
_aPhD- Information Technology _9123221 |
||
| 700 |
_aSupervisor:Dr.Osman Hasan _997781 |
||
| 856 | _u http://10.250.8.41:8080/xmlui/handle/123456789/34204 | ||
| 942 |
_2ddc _cSC |
||
| 999 |
_c610542 _d610542 |
||