西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 2 条 责任者=Claesen, Luc J. M. 的结果    

 


所有图书 可借图书

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

返回顶部