-
西文图书1.Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Comp TP311.5-53/EEF
馆藏复本:1
可借复本:1 Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书2.Tools and algorithms for the construction and analysis of systems : 8th international conference, TA TP311.5-53/TAC
馆藏复本:1
可借复本:1 Joost-Pieter Katoen, Perdita Stevens (eds.).
Springer, c2002.
(0) 馆藏