VLSI Design Methods: Formal VLSI Correctness Verification.(VLSI Design Methods: Proceedings of the IFIP WG10.2/WG10.5 internatio
Claesen, L.J.M.
編
発行年月 |
1990年01月 |
---|
|
出版国 |
オランダ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
xvi, 430 p. |
---|
|
|
ジャンル |
洋書 |
---|
|
|
ISBN |
9780444886880 |
---|
|
商品コード |
0209009360 |
---|
|
|
|
本の性格 |
議事録 |
---|
|
|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209009360 |
---|