-
西文图书1.Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, Jun TP338.6-53/MOV
馆藏复本:1
可借复本:1 Franck Cassez ... [et al.] (eds.).
Springer, c2001.
(0) 馆藏
馆藏复本:1
可借复本:1 Franck Cassez ... [et al.] (eds.).
Springer, c2001.
(0) 馆藏