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

时序逻辑电路的形式验证方法研究
出版年：2000
作者：吕毅
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

电荷测量与时序逻辑电路的研究
  • 作者：刘义才
  • 出版年：2008
...

基于区间时序逻辑的验证技术研究与应用
  • 作者：杨潇潇
  • 出版社：中国科学院
  • 出版年：2012
...

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

逻辑电路
  • 作者：张〓
  • 出版社：控华书局股份有限公司
  • 出版年：1977
...

分析基于时序逻辑的移动计算形式方法
  • 作者：魏峻
  • 出版社：中国科学院
  • 出版年：1999
...

逻辑电路设计方法
  • 作者：张赓毅
  • ISBN：7530404784
  • 出版社：北京科学技术出版社
  • 出版年：1990