面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书籍】 正版图书，下单前请先咨询客服，欢迎选购！
¥77.19定价：¥164.38 (4.7折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版.】 正版图书，下单前请先咨询客服，欢迎选购！
¥86.84定价：¥183.68 (4.73折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯 (英)瑞安 何伟 樊磊 译 机械工业出版社【达额立减】 【正品保证，进入店铺更多优惠！】
¥77.19定价：¥164.38 (4.7折)
面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版图书】 【店主推荐，正版书放心购买，可开发票】
《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二衩判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
¥33.25定价：¥96.50 (3.45折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社，【正版可开发票】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥22.00定价：¥91.00 (2.42折)
面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版图书】 【店主推荐，正版书放心购买，可开发票】
《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二衩判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
¥105.12定价：¥345.36 (3.05折)
面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版书】 【店主推荐，正版书放心购买，可开发票】
《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二衩判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
¥35.09定价：¥135.27 (2.6折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【达额立减】 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！
¥30.80定价：¥80.05 (3.85折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书籍】 【热销推荐，正版现货，全国三仓就近发货，物流快捷，欢迎选购！】
¥30.80定价：¥66.09 (4.67折)
面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞安 著；何伟、樊磊 译 机械工业出版社 9787111 【速开发票，优质售后，支持7天无理由退换】
《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
¥64.90定价：¥217.80 (2.98折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥22.00定价：¥95.00 (2.32折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥22.00定价：¥143.00 (1.54折)
面向计算机科学的数理逻辑系统建筑模与推理 正版图书,下单速发,可开发票
¥37.53定价：¥76.06 (4.94折)
面向计算机科学的数理逻辑系统建筑模与推理 【速开发票，优质售后，支持7天无理由退换】
¥135.00定价：¥410.20 (3.3折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译机械工业出版社【正版书】 正版图书，下单前请先咨询客服，欢迎选购！
¥31.48定价：¥82.08 (3.84折)
面向计算机科学的数理逻辑系统建筑模与推理 【正品保证，进入店铺更多优惠！】
¥97.95定价：¥260.90 (3.76折)
面向计算机科学的数理逻辑系统建模与推理（原书第2版）,（德）哈斯，（英）瑞安，何伟，樊磊,机械工业出版社,9787111
¥97.02定价：¥7800 (0.13折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥22.00定价：¥91.37 (2.41折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社 正版图书，可代查书籍13654175075
¥70.11定价：¥141.24 (4.97折)
面向计算机科学的数理逻辑系统建筑模与推理 【速开发票，优质售后，支持7天无理由退换】
¥98.00定价：¥316.20 (3.1折)
面向计算机科学的数理逻辑系统建筑模与推理 正版现货，可开发票
¥93.30定价：¥188.00 (4.97折)
面向计算机科学的数理逻辑系统建筑模与推理【正版图书，满额减】 【速开发票，优质售后，支持7天无理由退换】
¥98.99定价：¥358.20 (2.77折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社，【正版保证】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥23.00定价：¥69.37 (3.32折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 正版图书，下单前请先咨询客服，欢迎选购！
¥31.48定价：¥82.08 (3.84折)
面向计算机科学的数理逻辑系统建筑模与推理【正版图书，满额减】 【速开发票，优质售后，支持7天无理由退换】
¥98.19定价：¥316.60 (3.11折)
面向计算机科学的数理逻辑系统建筑模与推理 正版图书,下单速发,可开发票
¥250.99定价：¥503.00 (4.99折)
面向计算机科学的数理逻辑系统建筑模与推理【放心购买】 「本店部分图书为稀缺古旧书籍，您下单之前可与在线客服联系」
¥61.50定价：¥137.00 (4.49折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 正版图书，下单前请先咨询客服，欢迎选购！
¥31.48定价：¥82.08 (3.84折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译. 全国多仓发货，物流便捷，正版保证，欢迎选购！
¥23.10定价：¥53.40 (4.33折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 正版图书，下单前请先咨询客服，欢迎选购！
¥31.48定价：¥82.06 (3.84折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥22.00定价：¥101.37 (2.18折)
面向计算机科学的数理逻辑系统建筑模与推理 正版图书,下单速发,可开发票
¥250.99定价：¥503.00 (4.99折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 正版图书，下单前请先咨询客服，欢迎选购！
¥30.12定价：¥78.56 (3.84折)
¥32.90定价：¥39.00 (8.44折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 ,何伟,樊磊 机械工业出版社【可开电子发票】 【正品保证，进入店铺更多优惠！】
¥77.19定价：¥164.38 (4.7折)
