00718pamaa2200169 4500 0000039916 20110104090000.0 [ nil ] d006.7 CHE 2004 QA76.73 CHE 2004 CHEAH HSIU QUEN A Study and Implementation of a Z Specification Syntax Verifier Cheah Hsiu Quen. Nilai: INTI College Malaysia, December 2004. Volume IV, Number 6; 30 cm. B.A. (HONS) IN SOFTWARE ENGINEERING AUGUST 2004 Dissertation submitted to Inti College Malaysia in partial fulfillment of the requirements of Honours Degree in Multimedia Computing at Coventry University Dissertations, academic -- Multimedia computing