书名	Runtime verification : 8th int
作者	RV 2008 (2008 : Budapest, Hung
从编题名
出版、发行地
出版、发行者名称	Berlin : Springer, 2008.
出版、发行日期	2008
页数
分类号	TP3/L471/2008/V.5289/Y
分类	自动化技术、计算机技术
内容提要
馆藏地点	总馆理科外文阅览

点击:16次