|
ISBN:
|
2002020904 价格： |
|
附注:
|
xiii, 433 p. : |
|
由:
|
Lecture notes in computer science, 继承. |
|
著者:
|
Honsell, Furio |
|
著者:
|
Miculan, Mariao |
|
主要团体责任者:
|
ETAPS 2002 |