| 000 | 01283nam a2200325 a 4500 | ||
|---|---|---|---|
| 005 | 20250930130454.0 | ||
| 007 | he amu baau | ||
| 008 | 100316s2007 my a m 000 0 may d | ||
| 039 | 9 |
_a201101181553 _bnuri _y03-16-2010 _znuri |
|
| 040 | _aUKM | ||
| 090 | _amikrofis tesis TK5105.55.N87 2010 | ||
| 090 |
_amikrofis tesisTK5105.55 _b.N87 2010 |
||
| 100 | 0 | _aNursyahidah Alias | |
| 245 | 1 | 0 |
_aPenspesifikasian dan pengesahsahihan protokol komunikasi menggunakan pembukti teorem _h[microform]/ _cNursyahidah binti Alias |
| 260 |
_aBangi, Selangor: _bPerpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia _c2010 |
||
| 300 | _a3 microfiches ; 11 x 15cm. | ||
| 502 | _aTesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2007 | ||
| 504 | _aRujukan : p. [153]-164 | ||
| 610 | 2 | 0 |
_aUniversiti Kebangsaan Malaysia _xDissertations _962865 |
| 650 | 0 |
_aDissertations, Academic _zMalaysia _962866 |
|
| 650 | 0 |
_aComputer network protocols _xSpecifications |
|
| 650 | 0 | _aAutomatic theorem proving | |
| 907 |
_a.b14674191 _b2021-05-28 _c2019-11-12 |
||
| 942 |
_c3 _n0 _kmikrofis tesis TK5105.55.N87 2010 |
||
| 914 | _avtls003428023 | ||
| 990 | _anuri | ||
| 991 | _aKoleksi Media | ||
| 998 |
_at _b2010-03-03 _cm _da _fmay _gmy _y0 _z.b14674191 |
||
| 999 |
_c459095 _d459095 |
||