| 000 | 00483nam a22001457a 4500 | ||
|---|---|---|---|
| 082 | _a004 | ||
| 100 | _aAhmad, Waqas | ||
| 245 |
_aAnalysis of Validation and Verification Techniques for Safety Critical Software Systems / _cWaqas Ahmad |
||
| 260 |
_aIslamabad : _bCEME - NUST, _c2015. |
||
| 300 |
_a89 p. ; _c30cm. |
||
| 650 |
_asoftware Engineering-MS-Thesis _916149 |
||
| 700 |
_aDr. Usman Qamar _918579 |
||
| 942 |
_2ddc _cTHE |
||
| 999 |
_c536427 _d536427 |
||