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