Understanding Z : a specification language and its formal semantics / J.M. Spivey.
| Author/creator | Spivey, J. M. |
| Format | Book |
| Publication Info | Cambridge [England] ; New York : Cambridge University Press, 1988. |
| Description | viii, 131 pages ; 26 cm. |
| Subjects |
| Series | Cambridge tracts in theoretical computer science ; 3 Cambridge tracts in theoretical computer science ; 3. ^A221007 |
| General note | Includes index. |
| Bibliography note | Bibliography: p. [119]-122. |
| LCCN | 87033841 |
| ISBN | 0521334292 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.73.Z2 S65 1988 | ✔ Available | Place Hold |