ISBN:	2008934284 价格：
附注:	xi, 294 p. :
由:	Lecture notes in computer science, 继承.
由:	LNCS sublibrary. 继承.
著者:	Cassez, Franck.
著者:	Jard, Claude.