Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Z notation · Vinony

EntityQ1430781· pop 17· linked from 600 articles

Z notation

Sign in to save

formal specification language used for describing and modelling computing systems

Connections

International Standard Book Number

digital object identifier

University of Oxford

computer program

International Organization for Standardization

Categories

Computer-related introductions in 1977 Formal specification languages Oxford University Computing Laboratory Specification languages Z notation

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.45

mathematical modelling

Entitydist 0.50

Entitydist 0.50

Entitydist 0.50

Entitydist 0.51

Entitydist 0.52

structured analysis

Entitydist 0.52

Entitydist 0.53

Structured systems analysis and design method

Entitydist 0.53

structured data

Entitydist 0.53

reference implementation

Entitydist 0.54

Entitydist 0.54

What links here600 pages

Miscellaneous Mathematical Symbols-B

Supplemental Mathematical Operators

Open Data Protocol

antimagnetic watch

Versatile Video Coding

formal specification