题名:
|
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Belgium) / , |
ISBN:
|
价格: ¥ |
语种:
|
eng |
载体形态:
|
427 p. |
出版发行:
|
出版地: Amsterdam 出版社: NHPC 出版日期: 1990 |
其它题名:
|
Formal VLSI specification and synthesis VLSI design methods |
主要团体责任者:
|
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design |
索书号:
|
1 |