-
中文图书1.进程代数:对称与动作细化 TP301.6/133
馆藏复本:5
可借复本:0 王永祥,吴尽昭,蒋建民著
科学出版社 2007
(0) 馆藏 -
中文图书2.交互式马尔可夫链:并发系统的设计、验证与评价 O211.6/676
馆藏复本:5
可借复本:4 吴尽昭, 王永祥, 覃广平著
科学出版社 2007
(0) 馆藏
馆藏复本:5
可借复本:0 王永祥,吴尽昭,蒋建民著
科学出版社 2007
(0) 馆藏
馆藏复本:5
可借复本:4 吴尽昭, 王永祥, 覃广平著
科学出版社 2007
(0) 馆藏