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

时序逻辑语言XYZ/CC及其与CCS的比较研究
出版社：中国科学院
出版年：1990
作者：徐祗祥
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

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

XYZ系统研制的背景与经历 :《时序逻辑程序设计与软件工程》序
  • 作者：唐稚松
  • 出版社：中国科学院
  • 出版年：1997
...

逻辑与语言研究
  • 作者：逻辑与语言研究会
  • 出版社：中国社会科学出版社
  • 出版年：1980
...

在时序逻辑语言中设计和验证分布式程序的方法
  • 作者：周盛宗
  • 出版年：1985