逻辑建模工具Alloy用户手册

时间：2012-05-18 17:07:17
【文件属性】：

文件名称：逻辑建模工具Alloy用户手册

文件大小：256KB

文件格式：PDF

更新时间：2012-05-18 17:07:17

alloy

逻辑建模工具Alloy用户手册，这是第二版Alloy的教学材料

立即下载

网友评论

  • 很不错的资源，谢谢分享，很适合Allo初学者
  • 刚学习使用，很详细。。
  • 文档标新立异，介绍详细，是个对Alloy初学者不错的资料。
  • 帮了大忙了，正好要做alloy的作业，文档叙述很详细，很好用

相关文章