题名:
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