Z notation (Q1430781)
Jump to navigation
Jump to search
formal specification language used for describing and modelling computing systems
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Z notation |
formal specification language used for describing and modelling computing systems |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(17 entries)
- arwiki تدوين زد
- dewiki Z-Notation
- enwiki Z notation
- eswiki Lenguaje Z
- fawiki نشانهگذاری Z
- frwiki Notation Z
- itwiki Notazione Z
- jawiki Z言語
- ltwiki Z notacija
- mswiki Tatatanda Z
- ptwiki Z notation
- ruwiki Z-нотация
- slwiki Z notacija
- trwiki Z notasyonu
- ukwiki Z-нотація
- yowiki ISO/IEC 13568
- zh_yuewiki Z notation