下载Mac的Z规范

时间:2013-05-06 22:18:57

标签: formal-languages z-notation

对不起,如果这不属于溢出,但我真的很想继续使用Z制作规格,因为我今年在大学期间学习它。

我想知道是否可以在mac pc上下载它,因为我目前了解它通常在Linux或SunOS上使用,但我不能在家里。我非常感谢我可以下载它的资源,因为我无法通过Google搜索找到它。我也想安装zans animator和ztc type checker。

提前致谢。

1 个答案:

答案 0 :(得分:1)

虽然问题是在一年前提出的,但这里有一个关于如何做到这一点的链接: http://andrius.velykis.lt/2012/09/installing-zeves-on-mac-os-x/

其他人可能对此感兴趣。