Z notation
Sign in to saveformal specification language used for describing and modelling computing systems
Connections
ISO 0070
Entity
ISO 31
Entity
WS-Addressing
Entity
International Standard Book Number
Entity
digital object identifier
Entity
ISO/IEC 8859
Entity
HTML
Entity
Q2407
Entity
University of Oxford
Entity
set theory
Entity
Unicode
Entity
ISO 3166-1
Entity
computer program
Entity
Q2370
Entity
pinyin
Entity
IBM
Entity
Q47607
Entity
International Organization for Standardization
Entity
ISO 639
Entity
ISO 4217
Entity