Ez az oldal egy összefoglaló magyar nyelvű anyag a Z specifikációs programozási nyelvről, részletes nyelvi leírással, példaprogramokkal.

Szakirodalom

• The Z notation : A Reference Manual:J.M.Spivey.

Linkek

• http://spivey.oriel.ox.ac.uk/~mike/zrm/

Szerzők

• Nyékyné Gaizler Judit
• Bartakovics Zoltán