-
中文图书1.模型检测 TP274/4544
馆藏复本:3
可借复本:3 (美) Edmund M. Clarke, (美) Orna Grumberg, (美) Doron A. Peled著
电子工业出版社 2018
(0) 馆藏
-
中文图书2.交互式马尔可夫链:并发系统的设计、验证与评价 O211.6/676
馆藏复本:5
可借复本:4 吴尽昭, 王永祥, 覃广平著
科学出版社 2007
(0) 馆藏
参考翻译