| 暂存书架(0) | 登录

检索到 3 条 责任者=(Margaria, Tiziana) 的结果    

 


所有图书 可借图书

  1. 中文图书1.工业关键系统的形式化方法:应用综述 TP273/429

    馆藏复本：2
    可借复本：2     (意) Stefania Gnesi, Tiziana Margaria著
    机械工业出版社 2015
    (0) 馆藏

  2. 西文图书2.Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Confe TP302-53/CHA

    馆藏复本：1
    可借复本：1     Tiziana Margaria, Tom Melham (eds.).
    Springer, c2001.
    (0) 馆藏

  3. 西文图书3.Tools and algorithms for the construction and analysis of systems : 7th international conference, TA TP311.5-53/TAC:2

    馆藏复本：1
    可借复本：1     Tiziana Margaria, Wang Yi (eds.).
    Springer, c2001.
    (0) 馆藏

返回顶部