借阅：12人
收藏：0人
面向计算机科学的数理逻辑
- 查看机读格式
Logic in computer science : modelling and reasoning about systems :系统建模与推理 :原书第2版 /(德) Michael Huth, (英) Mark Ryan著 ;何伟, 樊磊译
ISBN/ISSN：978-7-111-21397-0
价格：CNY39.00
出版：北京 :机械工业出版社 ,2007
载体形态：xii, 277页 :图 ;26cm
丛编：计算机科学丛书
简介：本书主要内容包括: 命题逻辑; 谓词逻辑; 通过模型检测进行验证; 程序验证; 模态逻辑与代理; 二叉判定图等几部分。
附注：计算机学习者
统一题名：Logic in computer science:modelling and reasoning about systems
其他题名：系统建模与推理
中图分类号：O141
责任者：胡特 ((Huth, Michael)) 著 瑞安 ((Ryan, Mark)) 著 何伟 译 樊磊 译
-
评分：
-
加入暂存架
豆瓣内容简介：
豆瓣作者简介：
