| 000 | 00523nam a22001577a 4500 | ||
|---|---|---|---|
| 003 | NUST | ||
| 082 | _a200 | ||
| 100 |
_aInnayatullah _998562 |
||
| 245 |
_aIntegration of ASM with event-B RODIN/ _cInnayatullah |
||
| 260 |
_aIslamabad _bNUST-SEECS _c2015 |
||
| 300 |
_a66p. _bill.; _eCD-ROM |
||
| 600 |
_xMS-Computer Science _9126511 |
||
| 700 |
_aSupervisors: Dr. Osman Hasan, Dr. Abdul Ghafoor, Dr. Sohail Iqbal, Dr. Atif Mashkoor _9126512 |
||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/6665 | ||
| 942 |
_cSC _2ddc |
||
| 999 |
_c13392 _d13392 |
||