位置：成果数据库 > 著作 > 著作详情页
软件形式规格说明语言-Z
  • 国际标准书号：978-7-302-29277-7
  • 所属机构名称：上海大学
  • 成果类型：著作
  • 出版社：清华大学出版社
  • 字数：487000
  • 相关项目：可信网络软件的形式验证
作者： 缪淮扣|陈怡海|
同著作项目
可信网络软件的形式验证
期刊论文 32 会议论文 22 专利 1 著作 1
同项目著作