入门书籍---z语言的形式化，精化和证明

一本很好的英文教程，关于Z语言的

形式规格语言Z学习的入门好书，很全面，可读性很好，即使离散数学的基础不是太好也没问题。

还行，适合刚上手的新用户

很全面，而且不是扫描版的，非常好，支持！！！

虽然说资源比较难上手,不过真的是好东东,不是扫描版的,非常方便,如果真有志于学的话还是很有用的,网上几乎很难找到这么全的资料了

书是全英文的，介绍的很全面，不过对于急用的新手来说，不太适用，太长了。资源下载里还有个中文版的软件工程语言-z，比较适合新手上手。