-
这是一本关于Event-B的例子用书,里面有十几个例子,英文版的
大小：13.65MB | 2020-08-19 07:12:18 -
最基础的入门教程,十分适用于想研究这方面的初学者
大小：356.42KB | 2020-08-08 13:30:33 -
讲述的是VS2010，由于上传资源受限，分为两个部分，这是第一部分
大小：55MB | 2020-03-13 17:40:24 -
讲述的是VS2010，由于上传资源受限，分为两个部分，这是第二部分
大小：49.74MB | 2020-01-07 19:06:17 -
这是Event-B的入门用书，里面讲解了详细的语法
大小：1.44MB | 2019-07-14 22:33:41 -
大小：0 | 2019-03-14 02:53:44
-
大小：0 | 2019-02-16 07:27:57
-
大小：0 | 2019-01-11 00:06:41
Ta的上传资源列表