跳去內容

Z notation

出自維基百科,自由嘅百科全書

Z notation 係一種正式嘅規範語言,用嚟描述同埋建立模型嘅計算系統。佢一般針對計算機程序同埋基於計算機嘅系統嘅明確規範。