Kategori:Z-notation
Sidor i kategorin "Z-notation"
A
Allmän mängdlära
C
CICS
Community Z-verktyg
J
Jean-Raymond Abrial
L
Legering (specifikationsspråk)
M
Michael Spivey
Mondex
O
Objekt-Z
S
S (mängdlära)
Snabbast
T
Testa mallens ramverk
Z
Z++
Z-notation
Z Användargrupp
Zermelo–Fraenkel mängdlära