ISBN:	2003045502 价格：
附注:	xv, 413 p. :
由:	Lecture notes in computer science, 继承.
著者:	Degano ,Pierpaolo,
主要团体责任者:	ETAPS 2003