-
西文图书1.Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 20 TP335/C738
馆藏复本:1
可借复本:1 CAV (Conference)
Springer, c2001.
(0) 馆藏 -
西文图书2.Constraints in computational logics : theory and applications : international summer school, CCL'99, O141/C758
馆藏复本:1
可借复本:1 CCL'99
Springer, c2001.
(0) 馆藏