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: |
| Item Description: | Honors Degree In Software Engineering (BSECU) - Double module Final Project Report |
|---|---|
| Physical Description: | vii, 92p: ill.; 30 cm. |