1. 首页
  2. 行业
  3. 电子政务
  4. Modeling in Event B System and Software Engineering

Modeling in Event B System and Software Engineering

上传者: 2020-09-17 15:00:55上传 PDF文件 3.01MB 热度 21次
Modeling in Event-B -- System and Software Engineering Jean-Raymond Abrial Cambridge University Press
下载地址
用户评论