Site Navigation
Categories:
1977 introductions
Specification languages
Z notation

Summary Of: Z notation

Although Z notation uses many non...

Encyclodia Page On: Z notation

These Are Links To Other Documents
/zɛd/ | Zermelo-Fränkel set theory | formal | specification language | computer programs | Jean-Raymond Abrial | Bertrand Meyer | Programming Research Group | Oxford University | axiomatic set theory | lambda calculus | first-order predicate logic | paradoxes of naive set theory | ASCII | ASCII | LaTeX | ISO | B-Method | Z++ | Object-Z | Z User Group | Community Z Tools | Formal methods | ISBN 0-521-23090-X | 2002 | 07-01 | ISBN 0-13-948472-8 | ISBN 1-85032-230-9 | ISBN 0-521-55976-6 | Categories | 1977 introductions | Specification languages | Z notation |
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Z notation".