Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02809863n
Noun Named Entity
Categories: Formal specification languages, Computer-related introductions in 1977, Z notation, Oxford University Computing Laboratory, Specification languages
EN
Z notation  CADiZ  ISO/IEC 13568  Z  Z schema
EN
The Z notation is a formal specification language used for describing and modelling computing systems. Wikipedia
English:
specification language
Definitions
Relations
Sources
EN
The Z notation is a formal specification language used for describing and modelling computing systems. Wikipedia
Formal specification language used for describing and modelling computing systems Wikidata
IS A
notation
FACET OF
programming language
Wikipedia
EN
Z notation
Wikidata
EN
Z notation
Wikipedia Redirections
EN
CADiZ, ISO/IEC 13568, Z (programming language), Z notation (specification language), Z schema, Z specification language, Zed notation, ⋿, ⦁, ⦂, ⦇, ⦈, ⦉, ⦊, ⨟, ⨠, ⨡

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License