返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
全面的功能验证: 完整的工业流程
共有
1
条记录
共耗时[0.000]秒
页码:
1
/
1
每页显示:
10
记录
跳转:
全面的功能验证: 完整的工业流程
:(美) Bruce Wile, John C. Goss, Wolfgang Roesner
作者:
(美) Bruce Wile, John C. Goss, Wolfgang Roesner
出版社:
机械工业出版社
出版时间:
2010
ISBN:
978-7-111-29641-6
索书号:
TN402/2
分类号:
TN402
页数:
XXI, 487页
价格:
98.00
复本数:
在馆数:
累借天数:
累借次数:
本书分5个部分。第1部分的内容是功能验证概述, 包括概念背景、验证计划、验证策略和一些基本练习 ; 第2部分和第3部分关注两个最主要的功能验证方法: 基于模拟的验证方法和形式验证方法 ; 第4部分把注意力集中在验证周期的后期阶段 ; 第5部分, 是一些验证实例研究的集合, 进一步强调了验证周期和验证过程中的相关概念。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
机械工业出版社
(
1
)
只显示前10条......
机械工业出版社
(
1
)
查看更多信息......
作者
(美) Bruce Wile, John C. Goss, Wolfgang Roesner
(
1
)
只显示前10条......
(美) Bruce Wile, John C. Goss, Wolfgang Roesner
(
1
)
查看更多信息......
出版年
2010
(
1
)
只显示前10条......
2010
(
1
)
查看更多信息......
全面的功能验证: 完整的工业流程
共有
1
条记录
共耗时[0.000]秒
页码:
1
/
1
每页显示:
10
记录
跳转: