形式化建模Alloy最好参考书
介绍了如何用轻量级的形式化建模语言alloy来建立模型。
下载地址
用户评论
英语不好啊！！！！！！不过还是很不错的！
很详细！可惜不是中文版啊＝ ＝
很不错的资源，理论与例子相结合，讲解很详细
是英文版的呀！要是中文的就好了，不过还是谢谢了
该参考书虽然篇幅很长，但具体在几个方面进行重点讲解，并且配有例子和图片，是个不错的参考书。