EventB学习入门 上传者：cuiweifu 2019-07-14 22:33:41上传 PDF文件 1.44MB 热度 37次 这是Event-B的入门用书，里面讲解了详细的语法 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-07-14 22:33:41 书上有好多丑丑的笔记噢，就那种涂涂画画的线，10个积分不太值 码姐姐匿名网友 2019-07-14 22:33:41 不错，很清晰 码姐姐匿名网友 2019-07-14 22:33:41 非常好用的EVENT-B入门学习资源，里面用很多浅显的例子，对于没有基础的人很容易理解，而且有练习，强烈建议边看书边在rodoin下进行练习，学习语言不编程不练习就好比学习开车不上路，学习游泳不下水一样，学再多理论也白搭，强烈推荐本书，本资料。 发表评论
书上有好多丑丑的笔记噢，就那种涂涂画画的线，10个积分不太值
不错，很清晰
非常好用的EVENT-B入门学习资源，里面用很多浅显的例子，对于没有基础的人很容易理解，而且有练习，强烈建议边看书边在rodoin下进行练习，学习语言不编程不练习就好比学习开车不上路，学习游泳不下水一样，学再多理论也白搭，强烈推荐本书，本资料。