面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【可开电子发票】 正版图书，下单前请先咨询客服，欢迎选购！

¥77.19定价：¥164.38 (4.7折)

墨语图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社，【正版保证】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！

¥31.00定价：¥69.00 (4.5折)

墨雨图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社，【正版保证】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！

¥23.00定价：¥69.37 (3.32折)

付莱图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 正版书籍，满额减，电子发票

¥100.10定价：¥230.20 (4.35折)

木炎图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！

¥31.00定价：¥69.00 (4.5折)

古韵图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

正版书应用泛函分析,樊磊，何伟 编,高等教育出版社

¥56.00定价：¥280.00 (2折)

鑫赢文化图书专营店

樊磊，何伟 编 /2005-01-01 /高等教育出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！

¥41.62定价：¥108.33 (3.85折)

君焱图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 正版图书,下单速发,可开发票

¥37.53定价：¥76.06 (4.94折)

兜兜图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版保证】 【店主推荐，正版书放心购买，可开发票】

《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二衩判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

¥39.18定价：¥147.54 (2.66折)

恒动图书专营店

4条评论

[德]哈斯、[英]瑞安 何伟、樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建模与推理（原书第2版）,（德）哈斯，（英）瑞安，何伟，樊磊,机械工业出版社,9787111

¥97.02定价：¥7800 (0.13折)

阅读人生图书专营店

（德）哈斯，（英）瑞安，何伟，樊磊 /2007-01-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！

¥31.00定价：¥69.00 (4.5折)

鑫泓睿源图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！

¥35.70定价：¥82.98 (4.31折)

崇旭图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社，【正版可开发票】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！

¥24.00定价：¥55.37 (4.34折)

硕享图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版保证】 【店主推荐，正版书放心购买，可开发票】

《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二衩判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

¥39.14定价：¥147.42 (2.66折)

东宇盛图书专营店

3条评论

[德]哈斯、[英]瑞安 何伟、樊磊 译 /2007-07-01 /机械工业出版社

【新华书店自营旗舰店】空间解析几何(第2版),科学出版社 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503

¥30.88定价：¥49.00 (6.31折)

新华书店大石桥旗舰店

李养成,何伟 编 /2023-12-01 /科学出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！

¥31.00定价：¥69.00 (4.5折)

聪腾图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

【新华书店总店自营店】空间解析几何(第2版),科学出版社 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503

¥30.88定价：¥49.00 (6.31折)

新华书店总店图书专营店

李养成,何伟 编 /2023-12-01 /科学出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯 (英)瑞安 何伟 樊磊 译 机械工业出版社【售后无忧】 【正品保证，进入店铺更多优惠！】

¥77.19定价：¥164.38 (4.7折)

飞扬图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理（原书第2版）

¥32.90定价：¥39.00 (8.44折)

163条评论

（德）哈斯，（英）瑞安 著，何伟、樊磊 译 /2007-07-01 /机械工业出版社

面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 ,何伟,樊磊 机械工业出版社【正版书籍】 【正品保证，进入店铺更多优惠！】

¥77.19定价：¥164.38 (4.7折)

诚森图书专营店

(德)哈斯,(英)瑞安 著,何伟,樊磊 译 /2007-07-01 /机械工业出版社