Understanding Z - a specification language and its formal semantics
- Författare
- J. M. Spivey
- (J.M. Spivey)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge Univ. Press | 1988 | Storbritannien, Cambridge | 131 sidor. | 0-521-33429-2 |