ISBN:
2003058764 价格：
附注:
ix, 396 p. :
由:
Lecture notes in computer science,
继承.
著者:
Pfenning, Frank.
著者:
Smaragdakis, Yannis.