检索词: (美) Edmund M. Clarke , 检索到: 2 条结果, 检索时间: 0.05 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

您是不是想检索:

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.	封面仅供参考	模型检测订购中 (含光盘) 著者: (美) Edmund M. Clarke Orna Grumberg Doron A. Peled著出版社: 电子工业出版社出版日期: 2016.1.1 文献类型: 图书 , 索书号: 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.	封面仅供参考	模型检测已借1次. 订购中 (含光盘) 著者: 克拉克格伦贝格佩莱德出版社: 电子工业出版社出版日期: 2018 文献类型: 图书 , 索书号: TP274/603 在馆信息图书信息概览图书目录试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>