| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:71

题名/责任者:
面向计算机科学的数理逻辑:系统建模与推理/(德)Michael Huth,(英)Mark Ryan著 何伟,樊磊译
出版发行项:
北京:机械工业出版社,2007
ISBN及定价:
978-7-111-21397-0/CNY39.00
载体形态项:
12,277页;26cm
并列正题名:
Logic in computer science:modelling and reasoning about systems
其它题名:
系统建模与推理
丛编项:
计算机科学丛书
个人责任者:
(德) 哈斯 M. 著
个人责任者:
(德) Huth Michael 著
个人责任者:
(英) 瑞安 M. 著
个人责任者:
(英) Ryan Mark 著
个人次要责任者:
何伟
个人次要责任者:
樊磊
学科主题:
数理逻辑
中图法分类号:
O141
版本附注:
英国剑桥大学出版社授权出版 据原书第2版译出
提要文摘附注:
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。
电子资源:
http://www.bookuu.com/kgsm/ts/2007/07/01/1133116.shtml
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O141/640 71153771  - 临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O141/640 71153772  - 临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O141/640 71153773  - 临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
O141/640 71153769  - 样本书阅览室(密集书库136)     非可借
O141/640 71153770  - 自然科学第二书库(7F)     可借 现代技术部(1F)
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架