The Automatic assessment of Z specifications /
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Nottingham :
School of Computer Science and IT, University of Nottingham,
1999
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00972nam a2200241 a 4500 | ||
|---|---|---|---|
| 003 | UKM | ||
| 005 | 20080821161800.0 | ||
| 008 | 000422s1999 xxk m 000 0 eng | ||
| 039 | 9 | |a 200808211618 |b hayat |c 200106131611 |d azmany |c 200007071516 |d rosnah |y 04-22-2000 |z ariff | |
| 090 | |a LB3051.Z37 1999 tesis | ||
| 090 | |a LB3051 | ||
| 100 | 0 | |a Zarina Shukur | |
| 245 | 1 | 4 | |a The Automatic assessment of Z specifications / |c Zarina Shukur |
| 260 | |a Nottingham : |b School of Computer Science and IT, University of Nottingham, |c 1999 | ||
| 300 | |a xii , 201 p. : |b ill. ; |c 30 cm. | ||
| 502 | |a Thesis (Ph.D.) - University of Nottingham, 1999 | ||
| 650 | 0 | |a Educational tests and measurements | |
| 907 | |a .b12677759 |b 28-05-21 |c 12-11-19 | ||
| 998 | |a t |b 04-09-00 |c m |d x |e - |f eng |g xxk |h 4 | ||
| 914 | |a vtls000276865 | ||
| 990 | |a aaa | ||
| 991 | |a Fakulti Teknologi dan Sains Maklumat | ||
| 945 | |g 1 |i 00001260782 |j 0 |l t0013 |n No. of pieces: 1 |o - |p MYR0.00 |q - |r - |s - |t 3 |u 1 |v 0 |w 0 |x 0 |y .i16121041 |z 12-11-19 | ||