书名
Automated technology for verif
作者
ATVA 2008 (2008 : Seoul, Korea
从编题名
出版、发行地
出版、发行者名称
Berlin : Springer, c2008.
出版、发行日期
2008
页数
分类号
TP3/L471/2008/V.5311/Y
分类
自动化技术、计算机技术
内容提要
馆藏地点
总馆理科外文阅览
点击:10次
[
关闭窗口
]