Record:   Prev Next
作者 Advanced Research Working Conference On Correct Hardware Design Methodologies (1995 : Frankfurt, Germany)
書名 Correct hardware design and verification methods [electronic resource] : IFIP WG 10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.)
出版項 Berlin ; New York : Springer, 1995
國際標準書號 9783540603856 (paper)
book jacket
Record:   Prev Next