詳細書目資料

57
0
0
0

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / edited by Jin Song Dong, Huibiao Zhu

館藏資訊

回到最上