ISBN:
2007931908 价格:
附注:
viii, 216 p. : 
由:
Lecture notes in computer science,  继承.
由:
LNCS sublibrary,  继承.
著者:
Gurevich, Yuri.
著者:
Meyer, Bertrand,