检索到 4 条 题名=ETAPS 2002 的结果
-
西文图书1.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) 馆藏 -
西文图书2.Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part TP312-53/ESP:2
馆藏复本：1
可借复本：1 Daniel Le Métayer (ed.).
Springer, c2002.
(0) 馆藏 -
西文图书3.Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as pa TP311.5-53/FAS
馆藏复本：1
可借复本：1 Ralf-Detlef Kutsche, Herbert Weber (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书4.Foundations of software science and computation structures : 5th international conference, FOSSACS 2 TP31-53/FOS
馆藏复本：1
可借复本：1 Mogens Nielsen, Uffe Engberg (eds.).
Springer, c2002.
(0) 馆藏
