跪求Z方法资料

[windfast_2000]

知道的大侠请告知,最好是已经整理好的资料集合或者是电子书.

网路上的链接和相关的论坛也可以

大侠请将资料寄到[e-mail] 小弟先谢过了

[zhuma]

先打击你一下
形式化目前实在是不景气
再打击你一下
据我的孤陋寡闻
“已经整理好的资料集合或者是电子书”还没有出现
如果你有兴趣建立“形式化中国”之类的网站
本人双手赞成

建议你用Z和Formal在google搜一下
得到链接和相关的论坛
再有针对性地提问
“跪求”实在是没有意义
oz6会对此类问题打屁屁的
还是尽快结贴吧

[windfast_2000]

哈哈,楼上的,今天我已经搜出来一些比较好了资料了

只是最想要的一本<The Way of Z : Practical Programming with Formal Methods>还没有找到

继续看看有没有人回帖