Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

Z notation · Vinony

🌐English

English Deutsch Español Français Italiano Português Türkçe Русский العربية فارسی 中文日本語

EntityQ1430781· pop 17· linked from 600 articles

Z notation

formal specification language used for describing and modelling computing systems

Available in 17 languages

Español
Français
Deutsch
日本語
Русский
Português
Italiano
العربية
Lithuanian
Malay
Slovenian
Türkçe

Connections

Categories

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

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

WS-Addressing

Entity

International Standard Book Number

digital object identifier

University of Oxford

computer program

International Organization for Standardization

Sign in to save

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