Search Results for Fakulti Sains Komputer dan Sistem Maklumat - Narrowed by: Siti Dianah Abdul Bujang, 1984- - English - Computer systems -- VerificationSirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dFakulti$002bSains$002bKomputer$002bdan$002bSistem$002bMaklumat$0026qf$003dAUTHOR$002509Author$002509Siti$002bDianah$002bAbdul$002bBujang$00252C$002b1984-$002509Siti$002bDianah$002bAbdul$002bBujang$00252C$002b1984-$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsystems$002b--$002bVerification$002509Computer$002bsystems$002b--$002bVerification$0026ic$003dtrue$0026ps$003d300?dt=list2024-06-27T16:16:21ZA model checking agent for mobile short message service applicationent://SD_ILS/0/SD_ILS:7316492024-06-27T16:16:21Z2024-06-27T16:16:21Zby Siti Dianah Abdul Bujang, 1984-<br/>Author Siti Dianah Abdul Bujang, 1984-, Fakulti Sains Komputer dan Sistem Maklumat<br/>Format: Books<br/>Call Number CP 023626 ra<br/>Publication Date 2010<br/>Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2010<br/>A model checking agent for mobile short message service applicationent://SD_ILS/0/SD_ILS:7316382024-06-27T16:16:21Z2024-06-27T16:16:21Zby Siti Dianah Abdul Bujang, 1984-<br/>Author Siti Dianah Abdul Bujang, 1984-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat<br/>Format: Books<br/>Call Number QA76.76.V47 S45 2010 raf<br/>Publication Date 2010<br/>Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2010<br/>