1. 首页
  2. 编程语言
  3. 其他
  4. 形式化建模Alloy最好参考书

形式化建模Alloy最好参考书

上传者: 2019-10-04 21:26:44上传 PDF文件 2.06MB 热度 20次
介绍了如何用轻量级的形式化建模语言alloy来建立模型。
用户评论
码姐姐匿名网友 2019-10-04 21:26:44

英语不好啊!!!!!!不过还是很不错的!

码姐姐匿名网友 2019-10-04 21:26:44

很详细!可惜不是中文版啊= =

码姐姐匿名网友 2019-10-04 21:26:44

很不错的资源,理论与例子相结合,讲解很详细

码姐姐匿名网友 2019-10-04 21:26:44

是英文版的呀!要是中文的就好了,不过还是谢谢了

码姐姐匿名网友 2019-10-04 21:26:44

该参考书虽然篇幅很长,但具体在几个方面进行重点讲解,并且配有例子和图片,是个不错的参考书。