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") |