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