检索条件： IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium)：Formal VLSI specification and synthesis VLSI design methods．V.1
责任者 IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

出版信息 NHPC ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design.IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium)：Formal VLSI specification and synthesis VLSI design methods．V.1.NHPC,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/33100
复制引文到剪贴板

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium)：Formal VLSI specification and synthesis VLSI design methods．V.1

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design.NHPC,1990.
2 图书 IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium)：Formal VLSI specification and synthesis VLSI design methods．V.2
责任者 IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

出版信息 NHPC ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design.IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium)：Formal VLSI specification and synthesis VLSI design methods．V.2.NHPC,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/33932
复制引文到剪贴板

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium)：Formal VLSI specification and synthesis VLSI design methods．V.2

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design.NHPC,1990.

通借成功!

预约成功!