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