ISBN:	2002023681 价格：
附注:	xvi, 776 p. :
由:	Lecture notes in computer science, 继承.
著者:	Jensen, Christian S.,