000 00954nam a2200253 a 4500
005 20250930111937.0
008 000422s1999 xxk m 000 0 eng
039 9 _a200808211618
_bhayat
_c200106131611
_dazmany
_c200007071516
_drosnah
_y04-22-2000
_zariff
090 _aLB3051.Z37 1999 tesis
090 _aLB3051
100 0 _aZarina Shukur
_951595
245 1 4 _aThe Automatic assessment of Z specifications /
_cZarina Shukur
260 _aNottingham :
_bSchool of Computer Science and IT, University of Nottingham,
_c1999
300 _axii , 201 p. :
_bill. ;
_c30 cm.
502 _aThesis (Ph.D.) - University of Nottingham, 1999
650 0 _aEducational tests and measurements
907 _a.b12677759
_b2021-05-28
_c2019-11-12
942 _c3
_n0
_kLB3051.Z37 1999 tesis
914 _avtls000276865
990 _aaaa
991 _aFakulti Teknologi dan Sains Maklumat
998 _at
_b2000-09-04
_cm
_dx
_feng
_gxxk
_y0
_z.b12677759
999 _c268535
_d268535