ISBN:	2001049832 价格：
附注:	ix, 504 p. :
由:	Lecture notes in computer science ; 继承.
著者:	Henzinger, T. A.
著者:	Kirsch, Christoph M.,