Understanding Z : a specification language and its formal semantics /
Bibliography: p. [119]-122
| Main Author: | |
|---|---|
| Format: | |
| Language: | |
| Published: |
Cambridge, UK : Cambridge University Press,
1988
|
| Subjects: |
Bibliography: p. [119]-122
| Main Author: | |
|---|---|
| Format: | |
| Language: | |
| Published: |
Cambridge, UK : Cambridge University Press,
1988
|
| Subjects: |