【文件属性】：
文件名称：逻辑建模工具Alloy用户手册
文件大小：256KB
文件格式：PDF
更新时间：2012-05-18 17:07:17
alloy
逻辑建模工具Alloy用户手册，这是第二版Alloy的教学材料
网友评论
- 很不错的资源，谢谢分享，很适合Allo初学者
- 刚学习使用，很详细。。
- 文档标新立异，介绍详细，是个对Alloy初学者不错的资料。
- 帮了大忙了，正好要做alloy的作业，文档叙述很详细，很好用