检索词: Edmund,Clarke , 检索到: 3 条结果, 检索时间: 0.022 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

保存至书单:

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

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

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