TY  - BOOK
AU  - Nursyahidah Alias
TI  - Penspesifikasian dan pengesahsahihan protokol komunikasi menggunakan pembukti teorem
PY  - 2010///
CY  - Bangi, Selangor
PB  - Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
KW  - Universiti Kebangsaan Malaysia
KW  - Dissertations
KW  - Dissertations, Academic
KW  - Malaysia
KW  - Computer network protocols
KW  - Specifications
KW  - Automatic theorem proving
N1  - Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2007; Rujukan : p. [153]-164
ER  -