Tracking the proof and correctness between abstract and concrete specification using Z language
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Nilai:
INTI Internation University College Malaysia,
January 2008.
|
| Subjects: |
TSAM LIBRARY
| Call Number: |
QA76 RUA 2008 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| DST0000461 | Reference | Dissertation | AVAILABLE |