Z++
From Wikipedia, the free encyclopedia
Z++ (pronounced zed plus plus) was an object-oriented extension to the Z specification language.
[edit] See also
[edit] References
- Lano, K.C., Z++, an Object-Oriented Extension to Z. Z User Workshop, Oxford 1990, Springer, Workshops in Computing, 1991, pp. 151–172.
This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.