ISBN:	2001042861 价格：
附注:	xi, 542 p. :
由:	Lecture notes in computer science ; 继承.
著者:	Jensen, Christian S.,