其他
详情
引用
Cooke J（编辑）、Maharaj S（编辑）、Romijn J（编辑）和 Shankland C（编辑）(2003) 适用于 IEEE 1394 的形式方法：比较案例研究。计算的形式方面特刊。计算的形式方面，14 (3)。 http://link.springer.com/journal/165/14/3
| 状态 | 已发布 |
|---|---|
| 编辑器 | 萨维·马哈拉吉博士 |
| 发布日期 | 30/04/2003 |
| 发布商 | 施普林格 |
| 发布商网址 | http://link.springer.com/journal/165/14/3 |
| ISSN | 0934-5043 |
| eISSN | 1433-299X |
人 (1)
高级讲师，计算科学