Event-B学习入门资源-CSDN文库

4星 · 超过85%的资源需积分: 34 20 浏览量 2011-10-30 15:32:35 上传评论 2 收藏 1.44MB PDF 举报

资源推荐

资源评论

内容反馈

yanjunjiangjn

2014-01-01

非常好用的EVENT-B入门学习资源，里面用很多浅显的例子，对于没有基础的人很容易理解，而且有练习，强烈建议边看书边在rodoin下进行练习，学习语言不编程不练习就好比学习开车不上路，学习游泳不下水一样，学再多理论也白搭，强烈推荐本书，本资料。
ostovige

2019-12-24

骗子。英文教材，跟 https://download.csdn.net/download/chs626419/10681085 内容一样。人家只要5积分，这个居然要10积分。
核桃工作者

2015-07-06

不错，很清晰
A_Black_Cat

2019-04-02

书上有好多丑丑的笔记噢，就那种涂涂画画的线，10个积分不太值