ISBN:
|
2007922076 价格: |
附注:
|
xx, 738 p. : |
由:
|
Lecture notes in computer science, 继承. |
由:
|
LNCS sublibrary. 继承. |
著者:
|
Grumberg, Orna. |
著者:
|
Huth, Michael, |
主要团体责任者:
|
ETAPS 2007 |