| 000 | 00680nam a2200169 4500 | ||
|---|---|---|---|
| 008 | 171203b xxu||||| |||| 00| 0 eng d | ||
| 038 | _aNusrat Nadeem | ||
| 082 | _a200 | ||
| 100 |
_a Ahmad Waqar _918520 |
||
| 245 |
_aFormal Dependability analysis using higher-order-logic theorem proving/ _cWaqar Ahmad |
||
| 260 |
_aIslamabad _bNUST-SEECS _c2017 |
||
| 300 |
_a181p. _eCD Includes |
||
| 700 |
_aSupervisors:Dr. Osman Hasan _9124769 |
||
| 773 | 0 |
_0527333 _9482256 _aAhmad, Waqar _dIslamabad: SEECS - NUST, 2017. _oCLPT-52 _tFormal Dependability Analysis using Higher-order-logic Theorem Proving / |
|
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/6384 | ||
| 942 |
_2ddc _cSC |
||
| 999 |
_c332384 _d332384 |
||