|
ISBN:
|
2006922189 价格： |
|
附注:
|
xvi, 506 p. : |
|
由:
|
Lecture notes in computer science, 继承. |
|
著者:
|
Hermanns, Holger, |
|
著者:
|
Palsberg, Jens. |
|
主要团体责任者:
|
ETAPS 2006 |