| 000 | 00577nam a22001697a 4500 | ||
|---|---|---|---|
| 020 | _qHard Cover. | ||
| 082 | _a200 | ||
| 100 | _aSultana, Sidra | ||
| 245 |
_aAutomation of software modeling and verification / _cSidra Sultan. |
||
| 260 |
_aRawalpindi: _bMCS NUST, _c2018. |
||
| 300 |
_a121 p. : _bill. ; _c30,cm. |
||
| 650 |
_a Ph. D - Thesis.Computer Software Engineering _9124479 |
||
| 700 |
_aSupervisor:Dr. Fahim Arif _9114276 |
||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/3721 | ||
| 942 |
_2ddc _cSC |
||
| 999 |
_c535270 _d535270 |
||