Probe : a formal specification-based testing system /
Saved in:
Main Author: | |
---|---|
Format: | Thesis Book |
Language: | English |
Published: |
Bangi :
Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia,
1997.
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 01009nam a2200229 a 4500 | ||
---|---|---|---|
008 | 981208s1997 my m 00 eng | ||
040 | |a UKM | ||
090 | |a QA76.76.T48 |b A35 1997 tesis[00008051217] | ||
100 | 1 | |a al-Amayreh, Ahmed Abedl Rahman | |
245 | 1 | 0 | |a Probe : |b a formal specification-based testing system / |c Ahmad Abedl Rahman Al-amayreh |
260 | |a Bangi : |b Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, |c 1997. | ||
300 | |a 118 p. : |b ill. ; |c 30 cm. | ||
502 | |a Thesis ( M.Sc.) - Universiti Kebangsaan Malaysia, 1997 | ||
650 | 0 | |a Computer software |x Testing. | |
650 | 0 | |a PROBE Project. | |
650 | 0 | |a Prolog (Computer program language). | |
907 | |a .b11871878 |b 06-09-23 |c 12-11-19 | ||
998 | |a t |b 08-05-99 |c m |d x |e - |f eng |g my |h 0 | ||
914 | |a vtls000193612 | ||
991 | |a Pejabat Dekan Fakulti Teknologi & Sains Makalumat | ||
990 | |a ltm | ||
945 | |a QA76.76.T48A35 1997 tesis |g 1 |i 00001212039 |j 0 |l t0040 |n No. of pieces: 1 |o - |p MYR0.00 |q - |r - |s - |t 3 |u 0 |v 0 |w 0 |x 0 |y .i14542535 |z 12-11-19 |