书名
Formal methods for components
作者
FMCO 2007 (2007 : Amsterdam, N
从编题名
出版、发行地
出版、发行者名称
Berlin ; New York : Springer,
出版、发行日期
2008
页数
分类号
TP3/L471/2008/V.5382/Y
分类
自动化技术、计算机技术
内容提要
馆藏地点
总馆理科外文阅览
点击:234次
[
关闭窗口
]