Z notation

出自維基百科，自由嘅百科全書
(由Z notation (程式語言)跳轉過嚟)

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

 Z notation係電算楔位文，你可以編輯佢充實內容。
由「https://zh-yue.wikipedia.org/w/index.php?title=Z_notation&oldid=1908838」收