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