ISBN:
2001020740 价格:
附注:
xiii, 431 p. : 
著者:
Sands, David.
主要团体责任者:
ETAPS 2001