| 书名 |
Formal techniques for networke |
| 作者 |
|
| 从编题名 |
FORTE 2008 : 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings / |
| 分类 |
TP302.1-532 |
| 主题 |
Formal methods (Computer science),Electronic data processing,Computer network protocols |
| 出版、发行地 |
Berlin ;,New York : |
| 出版、发行者名称 |
Springer, |
| 出版、发行日期 |
c2008. |
| 页数 |
xii, 339 p. : |
| 分类号 |
TP3/L471/2008/V.5048/Y |
| 分类 |
自动化技术、计算机技术
|
| 内容提要 |
|
| 馆藏地点 |
总馆理科外文阅览 |
|