• 大小: 3.01MB
    文件类型: .pdf
    金币: 1
    下载: 0 次
    发布日期: 2023-08-14
  • 语言: 其他
  • 标签: model  形式化  event-b  

资源简介

Modeling in Event-B-System and software Engineering pdf电子版

资源截图

代码片段和文件信息

评论

共有 条评论