ISBN:
2007930705 价格：
附注:
xii, 522 p. :
由:
LNCS sublibrary.
继承.
著者:
Pfenning, Frank.