登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

UML活动图的时序逻辑语义
出版社：中国科学院
出版年：2003
作者：朱雪阳
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

时序逻辑语言XYZ/E的图形语言
  • 作者：龚洁
  • 出版年：1989
...

3SAT应用快速算法及其在密码分布中的应用时序逻辑语言XYZ/E的语义分析
  • 作者：李光元
  • 出版社：中国科学院
  • 出版年：1996
...

时序逻辑程序设计与软件工程. 上册, 时序逻辑语言
  • 作者：唐稚松
  • ISBN：7030070062
  • 出版社：科学出版社
  • 出版年：1999
...

标记逻辑程序理论研究：说明语义与过程语义
  • 作者：周生炳
  • 出版年：1994
...

构建度量区时序逻辑的时间自动机
  • 作者：王勤思
  • 出版年：2010
...

基于时序逻辑的Resolution自动定理证明方法
  • 作者：章岚
  • ISBN：9787563832668
  • 出版社：首都经济贸易大学出版社
  • 出版年：2021