超级人气榜
计算机科学程序设计工程设计参考书 函数抽象构造数据抽象 机械工业出版 计算机程序 新华正版 JavaScript版 社 书籍 构造和解释
计算机科学程序设计工程设计参考书 函数抽象构造数据抽象 机械工业出版 计算机程序 新华正版 JavaScript版 社 书籍 构造和解释
￥70.9折扣价
去抢购
and 9780262521604 Functional 语言：抽象解释和编译 惰性函数式 Compilation Interpretation Abstract Languages Lazy 预订
and 9780262521604 Functional 语言：抽象解释和编译 惰性函数式 Compilation Interpretation Abstract Languages Lazy 预订
￥476折扣价
去抢购
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
￥619折扣价
去抢购
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
￥719折扣价
去抢购
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
￥463折扣价
去抢购
16th 模型检查和抽象解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification
16th 模型检查和抽象解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification
￥609折扣价
去抢购
验证 and 24th International Interpretation Checking Abstract 模型检查和抽象解释 海外直订Verification Model
验证 and 24th International Interpretation Checking Abstract 模型检查和抽象解释 海外直订Verification Model
￥735折扣价
去抢购
Principles Interpretation 抽象解释 英文原版 科学百科 现货 数理化 原则 Cousot Patrick Abstract 中商原版 数学
Principles Interpretation 抽象解释 英文原版 科学百科 现货 数理化 原则 Cousot Patrick Abstract 中商原版 数学
￥730折扣价
去抢购
验证 第2 and 23rd International Interpretation Checking Abstract 模型检验和抽象解释 海外直订Verification Model
验证 第2 and 23rd International Interpretation Checking Abstract 模型检验和抽象解释 海外直订Verification Model
￥867折扣价
去抢购
and Checking Abstract Interpretation 模型检查和抽象解释 海外直订Verification 验证 Model
and Checking Abstract Interpretation 模型检查和抽象解释 海外直订Verification 验证 Model
￥529折扣价
去抢购
and Checking Abstract Interpretation 模型检查和抽象解释 海外直订Verification 验证 Model
and Checking Abstract Interpretation 模型检查和抽象解释 海外直订Verification 验证 Model
￥529折扣价
去抢购
19th 模型检查和抽象解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification
19th 模型检查和抽象解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification
￥529折扣价
去抢购
14th 模型检查和抽象解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification
14th 模型检查和抽象解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification
￥545折扣价
去抢购
4th 模型检验和抽象解释： Checking 验证 Con International Interpretation Abstract and Model 海外直订Verification
4th 模型检验和抽象解释： Checking 验证 Con International Interpretation Abstract and Model 海外直订Verification
￥548折扣价
去抢购
5th 第5届国 Checking 模型检验与抽象解释 Con International Interpretation Abstract and Model 海外直订Verification
5th 第5届国 Checking 模型检验与抽象解释 Con International Interpretation Abstract and Model 海外直订Verification
￥548折扣价
去抢购
验证 and Third International Interpretation Checking Abstract 模型检验与抽象解释 海外直订Verification Model
验证 and Third International Interpretation Checking Abstract 模型检验与抽象解释 海外直订Verification Model
￥548折扣价
去抢购
验证 and 8th International Interpretation Checking Abstract 模型检验与抽象解释 海外直订Verification Con Model
验证 and 8th International Interpretation Checking Abstract 模型检验与抽象解释 海外直订Verification Con Model
￥548折扣价
去抢购
验证 and 6th International Interpretation Checking Abstract 模型检验和抽象解释 海外直订Verification Con Model
验证 and 6th International Interpretation Checking Abstract 模型检验和抽象解释 海外直订Verification Con Model
￥548折扣价
去抢购
验证 第九 and 9th International Interpretation Checking Abstract 模型检验与抽象解释 海外直订Verification Con Model
验证 第九 and 9th International Interpretation Checking Abstract 模型检验与抽象解释 海外直订Verification Con Model
￥548折扣价
去抢购
7th 模型检查和抽象解释： Checking 验证 Con International Interpretation Abstract and Model 海外直订Verification
7th 模型检查和抽象解释： Checking 验证 Con International Interpretation Abstract and Model 海外直订Verification
￥548折扣价
去抢购
验证 and 15th International Interpretation Checking Abstract 模型检验和抽象解释 海外直订Verification Model
验证 and 15th International Interpretation Checking Abstract 模型检验和抽象解释 海外直订Verification Model
￥548折扣价
去抢购
数据流分析基于约束 方法和技术 分析抽象解释类型和作用系统凤凰新华书店旗舰店 程序分析领域中 程序分析原理
数据流分析基于约束 方法和技术 分析抽象解释类型和作用系统凤凰新华书店旗舰店 程序分析领域中 程序分析原理
￥97.3折扣价
去抢购
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
￥704折扣价
去抢购
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
￥619折扣价
去抢购
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
￥619折扣价
去抢购
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
￥719折扣价
去抢购
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
￥719折扣价
去抢购
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
Abstract 书籍 进口英语原版 Patrick Principles Cousot 抽象解释 Interpretation 英文版 英文原版 原则 精装 计算机科学
￥719折扣价
去抢购
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
Analysis Press Introduction Static 精装 书籍 英文原版 Rival The 抽象解释视角 静态分析导论 MIT 进口英语原版 Xavier
￥619折扣价
去抢购
Static MIT 英文原版 精装 书籍 静态分析导论 Rival Analysis Introduction 抽象解释视角 Press The 进口英语原版 Xavier
Static MIT 英文原版 精装 书籍 静态分析导论 Rival Analysis Introduction 抽象解释视角 Press The 进口英语原版 Xavier
￥619折扣价
去抢购
1 2 >>
⇡