文件名称：Event-B学习入门
文件大小：1.44MB
文件格式：PDF
更新时间：2014-11-19 09:19:15
Event-B
这是Event-B的入门用书，里面讲解了详细的语法
Event-B学习入门
【文件属性】：
网友评论
- 骗子。英文教材，跟 https://download.csdn.net/download/chs626419/10681085 内容一样。人家只要5积分，这个居然要10积分。
- 书上有好多丑丑的笔记噢，就那种涂涂画画的线，10个积分不太值
- 不错，很清晰
- 非常好用的EVENT-B入门学习资源，里面用很多浅显的例子，对于没有基础的人很容易理解，而且有练习，强烈建议边看书边在rodoin下进行练习，学习语言不编程不练习就好比学习开车不上路，学习游泳不下水一样，学再多理论也白搭，强烈推荐本书，本资料。