ISBN:	2003065503 价格：
附注:	xiv, 453 p. :
由:	Lecture notes in computer science, 继承.
著者:	Aichernig, Bernhard K.,
著者:	Maibaum, Thomas S. E.,