ISBN:	2008935391 价格：
附注:	x, 234 p. :
由:	Lecture notes in computer science, 继承.
由:	LNCS sublibrary. 继承.
著者:	Becker, Steffen.
著者:	Plá?il, Franti?ek.
著者:	Reussner, Ralf.