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