电子技术基础 数字部分 第二版 逻辑代数基础 逻辑门电路 组合逻辑电路 触发器 时序逻辑电路 职业院校电子电气 自动化等

店 数字电子技术第3版第三版 数字电路基础讲解书籍 时序逻辑电路介绍书 电子工业出版社

基于时序逻辑的Resolution自动定理证明方法

店 数字逻辑 组合逻辑电路和时序逻辑电路分析介绍书籍 新工科建设之路 计算机类专业系列教材 程鸿 编 电子工业出版社

反应式和并发系统的时序逻辑