Implementation of Z language specification processor for checking the correctness of Z specification
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Nilai:
INTI International University,
March 2010.
|
| Subjects: |
TSAM LIBRARY
| Call Number: |
QA76 LEE 2010 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| DST0000580 | Reference | Dissertation | AVAILABLE |