形式化方法—Z 语言 谁有这方面的资料吗？
形式化方法—Z 语言 谁有这方面的资料吗？

[解决办法]
you could get some useful resources from this website:
http://www.zuser.org/z/
Also, I reckon you could get a free copy of Z notation reference from Oxford website:
http://spivey.oriel.ox.ac.uk/mike/zrm/zrm.pdf
good luck!
[解决办法]
这是什么语言？没听说过
[解决办法]
To3楼：
Z语言是一种将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格说明语言。
它是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。