文件名称：形式化建模Alloy最好参考书
文件大小：2.06MB
文件格式：PDF
更新时间：2016-03-26 04:50:39
Alloy
介绍了如何用轻量级的形式化建模语言alloy来建立模型。
形式化建模Alloy最好参考书
【文件属性】：
网友评论
- 英语不好啊！！！！！！不过还是很不错的！
- 很详细！可惜不是中文版啊＝ ＝
- 很不错的资源，理论与例子相结合，讲解很详细
- 是英文版的呀！要是中文的就好了，不过还是谢谢了
- 该参考书虽然篇幅很长，但具体在几个方面进行重点讲解，并且配有例子和图片，是个不错的参考书。