检索条件： 模型检测 ( 题名 )
责任者 (美) Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled, 吴尽昭, 何安平, 高新岩
出版信息 电子工业出版社 ,20180101
ISBN 978-7-121-35274-4
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
模型检测
(美) Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled, 吴尽昭, 何安平, 高新岩.电子工业出版社,20180101.
责任者 周从华
出版信息 科学出版社 ,20140001
ISBN 978-7-03-041892-0
随机模型检测理论与应用
周从华.科学出版社,20140001.
责任者 张君华著
出版信息 清华大学出版社 ,2016.09
ISBN 978-7-302-44881-5
实时随机系统模型检测
张君华著.清华大学出版社,2016.09.
责任者 (美) 拉尔斯·彼得·汉森, 托马斯·萨金特
出版信息 电子工业出版社 ,20170001
ISBN 978-7-121-30552-8
经济世界的不确定性
(美) 拉尔斯·彼得·汉森, 托马斯·萨金特.电子工业出版社,20170001.
责任者 王大镇,弓清忠,李波
出版信息 电子工业出版社 ,20080101
ISBN 978-7-121-06901-7
精通Pro/ENGINEER Wildfire 4.0 中文版产品设计
王大镇,弓清忠,李波.电子工业出版社,20080101.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
