ISBN:	2005922868 价格：
附注:	xi, 304 p. :
由:	Lecture notes in computer science, 继承.
著者:	Bodik, Rastislav.
主要团体责任者:	ETAPS 2005