-
西文图书1.Specification and verification of concurrent systems TP332-53/B1
馆藏复本:1
可借复本:1 BCS-FACS Workshop on Specification and Verification of Concurrent Systems91988:Scotland)
Springer-Verlag 1990
(0) 馆藏
馆藏复本:1
可借复本:1 BCS-FACS Workshop on Specification and Verification of Concurrent Systems91988:Scotland)
Springer-Verlag 1990
(0) 馆藏