About Z notation

The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.

members

here now

Everything about Z notation →

Live room · 1 here

Be the first in the room — members see you arrive.

Join the room

Facts from Wikidata (CC0).

Z notation

formal specification language used for describing and modelling computing systems, standardized in ISO 13568

0members1here now

Ask Genius Site

Site Journal

Feed Discussions About

Sort by

Content type

Latest Z notation news and discussion

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

Z notation across IJR

Ask Genius by OpenServe about Z notation Create in Studio Build a game Watch videos

About Z notation

members

here now

Everything about Z notation →

Live room · 1 here

Be the first in the room — members see you arrive.

Join the room

Facts from Wikidata (CC0).

Z notation across IJR

Ask Genius by OpenServe about Z notation Create in Studio Build a game Watch videos