检索到 2 条 责任者=Interuniversity Micro-Electronics Center. 的结果
-
西文图书1.Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Work TN47-53/E9:1:(89)
馆藏复本：1
可借复本：1 sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
North-Holland ; 1990.
(0) 馆藏 -
西文图书2.Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Worksho TN47-53/E9:2:(89)
馆藏复本：1
可借复本：1 sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
North-Holland ; 1990.
(0) 馆藏
