面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！
¥35.70定价：¥108.33 (3.3折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥31.00定价：¥69.00 (4.5折)
面向计算机科学的数理逻辑系统建模与推理[德]哈斯、[英]瑞安 著；何伟、樊磊 译机械工业出版社9787111213 正版旧书，保证质量，此书为单本而非一套，电子发票！
《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
¥23.00定价：¥149.00 (1.55折)
面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞安 著；何伟、樊磊 译 机械工业出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
¥45.86定价：¥92.72 (4.95折)
面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞安 著；何伟、樊磊 译 【速开发票，优质售后，支持7天无理由退换】
《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
¥162.50定价：¥413.00 (3.94折)
¥38.40定价：¥48.00 (8折)
¥32.90定价：¥39.00 (8.44折)
面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞安 著；何伟、樊磊 译 9787111213970 机械工业 【速开发票，优质售后，支持7天无理由退换】
《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 《面向计算机科学的数理逻辑系统建模与推理（原书第2版）》适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
¥175.00定价：¥350.00 (5折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 ,何伟,樊磊 机械工业出版社【可开电子发票】 【正品保证，进入店铺更多优惠！】
¥77.19定价：¥164.38 (4.7折)
