相关推荐

基于分支时序逻辑的编译优化测试用例自动生成方法的研究与实现

  • 作者:曾伟明
  • 出版社:中国科学院
  • 出版年:2008

心理学考研逻辑图

  • 作者:凉音
  • ISBN:9787568283496
  • 出版社:北京理工大学出版社有限责任公司
  • 出版年:2020

光学并行逻辑图象处理

  • 作者:梁丰
  • 出版年:1995

基于时序逻辑的并发系统测试用例生成

  • 作者:刘大光
  • 出版社:中国科学院
  • 出版年:2007

数字逻辑与数字系统设计

  • 作者:翟学明
  • ISBN:9787302673897
  • 出版社:清华大学出版社
  • 出版年:2024