bn:02809863n
Noun Named Entity
Categories: Linguagens de programação
PT
Z notation  notação z
PT
A notação Z, nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais. Wikipedia
English:
specification language
Definitions
Relations
Sources
PT
A notação Z, nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais. Wikipedia
Wikipedia
Wikidata
Wikipedia Translations