ISBN:
2006939067 价格：
附注:
xxix, 658 p. : 
由:
LNCS sublibrary.  继承.
著者:
Beckert, Bernhard.
著者:
H?hnle, Reiner.
著者:
Schmitt, P. H.