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

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

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).