| LC control no. | sh 87007136 |
|---|---|
| LC classification | QA76.73.Z2 |
| Topical heading | Z (Computer program language) |
| See also | Programming languages (Electronic computers) |
| Found in | Work cat.: Spivey, J.M. Understanding Z, 1988 ("Z notation is a language and a style for expressing formal specifications of computing systems" ... "Z is a precise specification language") |
 |  |  |