书名 |
Formal methods for components |
作者 |
|
从编题名 |
5th international symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures / |
分类 |
TP311.1-532 |
主题 |
Formal methods (Computer science),Component software,Object-oriented programming (Computer science) |
出版、发行地 |
Berlin ;,New York : |
出版、发行者名称 |
Springer, |
出版、发行日期 |
c2007. |
页数 |
viii, 296 p. : |
分类号 |
TP3/L471/2007/V.4709/Y |
分类 |
自动化技术、计算机技术
|
内容提要 |
|
馆藏地点 |
总馆理科外文阅览 |
|