在线客服
登录
注册
购物车(0)
优桃书网
搜索
首页
推荐好书
热门图书
特价图书
图书分类
您的位置：首页
>
图书分类
>
图书详情
面向计算机科学的数理逻辑 系统建模与推理 原书第2版modelling and reasoning about systems
当前价：
¥ 62.37
定价：
¥ 99.00
规格
标准
数量
-
+
库存
0
件
立即购买
加入购物车
图书简介
商品评价(0)
书评信息(0)
装帧:平装
作者:迈克尔 休斯
ISBN:9787111770688
出版日期:2025-01-01
书名:面向计算机科学的数理逻辑 系统建模与推理 原书第2版
出版社:机械工业出版社
开本:26cm
本书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的发展和实际需要。
用户评价
发表
为您推荐
2024考研数学 .高等数学辅导讲义
汤家凤
¥20.7
¥69.0
2024 高等数学辅导讲义零基础篇基础篇
汤家凤
¥20.4
¥68.0
2024 线性代数辅导讲义
汤家凤
¥17.4
¥58.0
2024考研数学考前冲刺8套卷（数学一）数学一
汤家风
¥16.8
¥56.0
接力题典1800 （专版）数学二数学二
汤家凤
¥24.6
¥82.0
2024考研数学考前冲刺8套卷 数学三数学三
汤家凤
¥16.8
¥56.0
考研数学汤家凤接力题典接力题典1800题目册数学一
汤家凤
¥24.6
¥82.0
接力题典1800数学二数学二
汤家风
¥26.7
¥89.0
画法几何习题集
马丽敏，刘仁杰主编
¥6.9
¥23.0
考研数学接力题典1800 数学三
汤家凤
¥24.6
¥82.0
优桃书网
