面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 正版图书,下单前请先咨询客服,欢迎选购!
¥86.74定价:¥183.68 (4.73折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯 (英)瑞安 何伟 樊磊 译 机械工业出版社【.正版】 【正品保证,进入店铺更多优惠!】
¥76.19定价:¥164.38 (4.64折)
面向计算机科学的数理逻辑系统建模与推理 【店主推荐,正版书放心购买,可开发票】
《面向计算机科学的数理逻辑系统建模与推理(原书第2版)》对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二衩判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。《面向计算机科学的数理逻辑系统建模与推理(原书第2版)》适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。
¥38.68定价:¥128.97 (3折)
应用泛函分析 樊磊,何伟 编 全国多仓发货,物流便捷,正版保证,欢迎选购!
¥28.60定价:¥74.00 (3.87折)
面向计算机科学的数理逻辑系统建筑模与推理 【正品保证,进入店铺更多优惠!】
¥97.74定价:¥213.48 (4.58折)
面向计算机科学的数理逻辑系统建筑模与推理 正版现货,可开发票
¥127.39定价:¥255.78 (4.99折)
¥51.60定价:¥51.60
面向计算机科学的数理逻辑系统建筑模与推理 【速开发票,优质售后,支持7天无理由退换】
¥82.00定价:¥294.20 (2.79折)
面向计算机科学的数理逻辑系统建模与推理(原书第2版),(德)哈斯,(英)瑞安,何伟,樊磊,机械工业出版社,9787111
¥97.02定价:¥7800 (0.13折)
面向计算机科学的数理逻辑系统建模与推理(原书第2版) (德)哈斯,(英)瑞安,何伟,樊磊 机械工业出版社
¥48.00定价:¥48.00
面向计算机科学的数理逻辑系统建筑模与推理【正版书籍】 「本店部分图书为稀缺古旧书籍,您下单之前可与在线客服联系」
¥61.50定价:¥137.00 (4.49折)
只卖正版 面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞安著;何伟、樊磊译 机械工业出版社 9787111
¥55.20定价:¥55.20
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥31.00定价:¥91.00 (3.41折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社,【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥31.00定价:¥69.37 (4.47折)
【正版】面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【品质无忧, 正版现货,可开发票
¥93.50定价:¥188.00 (4.98折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥39.00定价:¥101.37 (3.85折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥39.00定价:¥143.00 (2.73折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊【正版保证】
¥41.37定价:¥145.11 (2.86折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版书】 正版图书,下单前请先咨询客服,欢迎选购!
¥60.90定价:¥310.00 (1.97折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥39.00定价:¥91.37 (4.27折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟、樊磊 译【正版保证】. 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥29.90定价:¥158.10 (1.9折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 著,何伟,樊磊 译 机械工业出版社【正版.】 正版图书,下单前请先咨询客服,欢迎选购!
¥76.19定价:¥164.38 (4.64折)
¥11.20定价:¥12.10 (9.26折)
¥32.90定价:¥39.00 (8.44折)
面向计算机科学的数理逻辑系统建筑模与推理 (德)哈斯,(英)瑞安 ,何伟,樊磊 机械工业出版社【正.版】 【正品保证,进入店铺更多优惠!】
¥76.19定价:¥164.38 (4.64折)