ISBN:
|
2008931715 价格: |
附注:
|
x, 342 p. : |
由:
|
Lecture notes in computer science, 继承. |
由:
|
LNCS sublibrary. 继承. |
著者:
|
Havelund, Klaus, |
著者:
|
Majumdar, Rupak. |
著者:
|
Palsberg, Jens. |