| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Claes
,
检索到: 9 条结果,
检索时间: 0.028 秒
,
排序选项:
排序方式:
隐藏分类导航
| 1. |
封面仅供参考
|
|
|
| 2. |
封面仅供参考
|
|
|
| 3. |
封面仅供参考
|
|
|
| 4. |
封面仅供参考
|
|
|
| 5. |
封面仅供参考
|
|
|
| 6. |
封面仅供参考
|
|
|
| 7. |
封面仅供参考
|
|
|
| 8. |
封面仅供参考
|
著者:
Luc J.M.Claesen.
(Houthalen Belgium.)IFIP WG 10.2/WG 10.5 International workshop on Applied Formal Methods for Correct VLSI Design
出版社:
Norht-Holland
出版日期: 1990
文献类型:
|
|
| 9. |
封面仅供参考
|
著者:
Luc J.M.Claesen.
(Houthalen Belgium.)IFIP WG 10.2/WG 10.5 International workshop on Applied Formal Methods for Correct VLSI Design
出版社:
Norht-Holland
出版日期: 1990
文献类型:
|