Normal view
MARC view
Z (Computer program language) (Topical Term)
See also:
- Broader heading: Programming languages (Electronic computers)
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")