-
西文图书1.Tools and algorithms for the construction and analysis of systems : 8th international conference, TA TP311.5/T671
馆藏复本:1
可借复本:1 TACAS 2002
Springer, c2002.
(0) 馆藏
-
西文图书2.Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Comp TP311.5/A471
馆藏复本:1
可借复本:1 EEF/Euro Summer School on Trends in Computer Science
Springer, c2001.
(0) 馆藏