MARC状态：已编 文献类型：中文图书 浏览次数：11
- 题名/责任者:
- 计算机科学的逻辑基础/(美)雷克斯·佩奇(Rex Page), (美)鲁本·冈博亚 (Ruben Gamboa)著
- 出版发行项:
- 北京:机械工业出版社,2021
- ISBN及定价:
- 978-7-111-68222-6/CNY99.00
- 载体形态项:
- 236页;26cm
- 个人责任者:
- 著 佩奇
- 个人次要责任者:
- 汪荣贵
- 中图法分类号:
- TP302.2
- 提要文摘附注:
- 本书介绍如何将谓词逻辑应用于软件和数字电路的测试和验证，重点是应用而不是理论。
- 使用对象附注:
- 高等院校计算机、软件工程、人工智能等相关专业的师生
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP302.2/7 | 1844652 |  自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 | |
| TP302.2/7 | 1844653 | 自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 | |
| TP302.2/7 | 1844654 | 自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 |
显示全部馆藏信息