| 暂存书架(0) | 登录

检索到 3 条 责任者=吴尽昭 的结果    

 


所有图书 可借图书

  1. 中文图书1.模型检测 TP274/4544

    馆藏复本：3
    可借复本：3     (美) Edmund M. Clarke, (美) Orna Grumberg, (美) Doron A. Peled著
    电子工业出版社 2018
    (0) 馆藏

  2. 中文图书2.进程代数:对称与动作细化 TP301.6/133

    馆藏复本：5
    可借复本：0     王永祥，吴尽昭，蒋建民著
    科学出版社 2007
    (0) 馆藏

  3. 中文图书3.交互式马尔可夫链:并发系统的设计、验证与评价 O211.6/676

    馆藏复本：5
    可借复本：4     吴尽昭, 王永祥, 覃广平著
    科学出版社 2007
    (0) 馆藏

返回顶部