Usability of semi-formal and formal methods integration : empirical assessments /
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
[United Kingdom] :
University of Southampton,
2008
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01321nam a2200325 a 4500 | ||
|---|---|---|---|
| 003 | UKM | ||
| 005 | 20090223125600.0 | ||
| 008 | 080909s2008 xxka g bm 000 0 eng | ||
| 020 | |c Hadiah | ||
| 039 | 9 | |a 200902231256 |b zaina |c 200902231222 |d zaina |c 200902202014 |d zaina |c 200901231158 |d hayat |y 09-09-2008 |z hendon | |
| 040 | |a UKM | ||
| 090 | |a QA76.76.E93R69 2008 tesis[00008051208] | ||
| 090 | |a QA76.76.E93 |b R69 2008 | ||
| 100 | 0 | |a Rozilawati Razali | |
| 245 | 1 | 0 | |a Usability of semi-formal and formal methods integration : |b empirical assessments / |c Rozilawati Razali |
| 260 | |a [United Kingdom] : |b University of Southampton, |c 2008 | ||
| 300 | |a xiii, 404 p. : |b ill. ; |c 30 cm. | ||
| 502 | |a Thesis (Ph. D.) - University of Southampton, 2008 | ||
| 610 | 2 | 0 | |a University of Southampton |x Dissertations |
| 650 | 0 | |a Computer software |v Evaluation | |
| 650 | 0 | |a UML (Computer science) | |
| 650 | 0 | |a Software engineering | |
| 650 | 0 | |a Engineering |x Computer programs |v Evaluation | |
| 650 | 0 | |a Dissertations, Academic |z United Kingdom | |
| 907 | |a .b1427078x |b 06-09-23 |c 12-11-19 | ||
| 998 | |a t |b 09-09-08 |c m |d x |e - |f eng |g xxk |h 0 | ||
| 914 | |a vtls003385516 | ||
| 990 | |a hag/zsz | ||
| 991 | |a Fakulti Sains & Teknologi | ||
| 945 | |g 1 |i 00001484574 |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 .i18856901 |z 12-11-19 | ||