| 000 | 00538 a2200157 4500 | ||
|---|---|---|---|
| 082 | _aBEE-5 | ||
| 100 |
_aNirmal Saeed _992605 |
||
| 245 |
_aV-Holt Verifier (A formal verification tool for combinational circuits) _cNirmal Saeed |
||
| 260 |
_aIslamabad _bNUST-SEECS _c2012 |
||
| 300 |
_a72p. _b;ill. _c;27cm.+ _eCD ROM |
||
| 500 | _aSupervisors: Dr. Osma Hasan, Dr. M. Murtaza Khan | ||
| 563 | _aHB | ||
| 700 |
_aAyesha Inam, Aisha Khan _992606 |
||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/3507 | ||
| 942 |
_cPR _kBEE-5 NIR _2ddc |
||
| 999 |
_c11305 _d11305 |
||