-
西文图书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) 馆藏