关注微信公众号查券更方便
芯片形式化验证原理、方法与实战+开源RISC-V处理器架构分析与验证+UVM芯片验证技术案例集 形式化验证工具语言设计书芯片验证入门
官网正版 芯片形式化验证原理、方法与实战 王亮 谭永亮 编著 以实践为导向，随书附赠示例代码 芯片设计 TCL SVA VC Formal
动态系统的形式化描述与验证 哈尔滨工程大学出版社 刘珊艳 著 著 计算机软件工程（新）
芯片形式化验证原理、方法与实战 王亮,谭永亮 编著 编 电子电路专业科技 新华书店正版图书籍 机械工业出版社
正版 芯片形式化验证原理、方法与实战 王亮 谭永亮 编著 以实践为导向， 芯片设计 TCL SVA VC Formal9787111782681
分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉9787030622068科学出版社
芯片形式化验证原理、方法与实战 王亮 谭永亮 正版书籍 新华书店旗舰店文轩官网 机械工业出版社
正版书籍 芯片形式化验证原理、方法与实战王亮机械工业出版社图书 人天书店畅销书排行榜
海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一
海外直订Formal Verification: An Essential Toolkit for Modern VLSI Design 形式化验证:现代VLSI设计的基本工具
海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证：
分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 著 数学专业科技 新华书店正版图书籍 科学出版社
分数阶系统高阶逻辑形式化验证 博库网
海外直订Beyond Testing: The Art and Science of Formal Verification 超越测试：形式化验证的艺术与科学
海外直订Sat-Based Scalable Formal Verification Solutions 基于sat的可扩展形式化验证解决方案
海外直订Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证
海外直订Formal Verification of Concurrent Embedded Software 并行嵌入式软件的形式化验证
分数阶系统高阶逻辑形式化验证
现货正版 平装 分数阶系统高阶逻辑形式化验证 赵春娜蒋慕蓉 科学出版社 9787030622068
芯片形式化验证原理.方法与实战王亮电子电路机械工业出版社新华书店正版
芯片形式化验证原理、方法与实战 王亮, 谭永亮编著 9787111782681
分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉 编著 自然科学书籍 9787030622068 科学出版社
【官方正版】 芯片形式化验证原理、方法与实战 9787111782681 王亮, 谭永亮编著 机械工业出版社
现货速发】分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 著 自然科学 专业科技 科学出版社 9787030622068
全新正版】分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 科学出版社
分数阶系统高阶逻辑形式化验证:::赵春娜 自然科学书籍
正版分数阶系统高阶逻辑形式化验证:::赵春娜书店自然科学书籍 畅想畅销书
正版包邮 分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉 编著 自然科学书籍 9787030622068 科学出版社
芯片形式化验证原理、方法与实战 王亮,谭永亮 编著 编
芯片形式化验证原理.方法与实战王亮电子电路机械工业出版社凤凰新华书店旗舰店
芯片形式化验证原理、方法与实战
芯片形式化验证原理、方法与实战 王亮,谭永亮 编著 编 电子、电工 专业科技 机械工业出版社 9787111782681
【新华正版】 芯片形式化验证原理方法与实战 王亮谭永亮 编著 编 机械工业出版社
芯片形式化验证原理、方法与实战 机械工业出版社 王亮,谭永亮 编著 编 电子电路
芯片形式化验证原理.方法与实战
正版 芯片形式化验证原理、方法与实战 9787111782681 机械工业出版社
芯片形式化验证原理、方法与实战电子、电工
【书】分数阶系统高阶逻辑形式化验证 赵春娜蒋慕蓉 科学出版社 9787030622068书籍KX
正版书籍 分数阶系统高阶逻辑形式化验证 赵春娜，蒋慕蓉科学出版社9787030622068
分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 著 自然科学科技类书籍 科学出版 9787030622068
正版书籍 分数阶系统高阶逻辑形式化验证:::赵春娜科学出版社自然科学 人天书店畅销书排行榜
分数阶系统高阶逻辑形式化验证赵春娜，蒋慕蓉科学出版社
现货速发分数系统高阶逻辑形式化
【书】分数阶系统高阶逻辑形式化验证赵春娜，蒋慕蓉科学9787030622068
正版芯片形式化验证原理、方法与实战9787111782681 王亮机械工业出版社图书 书籍
芯片形式化验证原理 方法与实战 王亮 谭永亮集成电路技术丛书机械工业出版社9787111782681
芯片形式化验证原理 方法与实战 王亮 谭亮 机械工业出版社9787111782681
RT正版 芯片形式化验证原理、方法与实战9787111782681 王亮机械工业出版社图书书籍
芯片形式化验证原理、方法与实战王亮图书书籍
芯片形式化验证原理 方法与实战 王亮 谭永亮 集成电路技术丛书 RISC-V架构设计教程 芯片设计开发书 机械工业出版社
芯片形式化验证原理、方法与实战9787111782681 王亮机械工业出版社图书 书籍
正版现货 芯片形式化验证原理、方法与实战 机械工业出版社 王亮,谭永亮 编著 编 电子电路
芯片形式化验证原理、方法与实战书王亮 图书书籍
分数阶系统高阶逻辑形式化验证科学出版社
分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 正版书籍 新华书店旗舰店文轩官网 科学出版社
[按需印刷] 分数阶系统高阶逻辑形式化验证科学出版社
芯片形式化验证原理、方法与实战 王亮 谭永亮
芯片形式化验证原理、方法与实战 王亮 谭永亮 编著 集成电路技术丛书 讲透形式化验证的工具、语言和设计书籍 机械工业出版社正版
芯片形式化验证原理 方法与实战 王亮 谭永亮 集成电路技术丛书 RISC-V架构设计教程 芯片设计开发书 书籍机械工业出版社
芯片形式化验证原理、方法与实战 王亮 谭永亮 编著 以实践为导向，随书附赠示例代码 芯片设计 TCL SVA VC Formal 机工社
正版包邮 芯片形式化验证原理、方法与实战 王亮 谭永亮 机械工业出版社
安全协议形式化分析与验证 肖美华 著 网络通信（新）专业科技 新华书店正版图书籍 科学出版社
主编李建华网络安全协议的形式化分析与验证（正版旧书包邮）机械工业出版社9787111297260
动态系统的形式化描述与验证 刘珊艳 著 正版书籍 新华书店旗舰店文轩官网 哈尔滨工程大学出版社
软件安全性需求形式化建模和验证 李震 著 软件工程专业科技 新华书店正版图书籍 江苏大学出版社
安全协议形式化分析与验证 肖美华 正版书籍 新华书店旗舰店文轩官网 科学出版社
软件安全性需求形式化建模和验证 李震 正版书籍 新华书店旗舰店文轩官网 江苏大学出版社
安全协议形式化分析与验证 肖美华 著 基础科学 专业科技 科学出版社 9787030626332
正版包邮 软件性需求形式化建模和验证 李震 书店 工具软件 江苏大学出版社书籍 读乐尔畅销书
软件安全性需求形式化建模和验证 书 李震 9787568401128 计算机与网络 书籍
正版包邮 软件性需求形式化建模和验证 李震 书店 工具软件书籍 畅想畅销书
正版书籍 软件性需求形式化建模和验证李震江苏大学出版社计算机与网络 人天书店畅销书排行榜
