|
ISBN:
|
2008929605 价格： |
|
附注:
|
vi, 230 p. : |
|
由:
|
Lecture notes in computer science, 继承. |
|
由:
|
LNCS sublibrary. 继承. |
|
著者:
|
Grumberg, Orna. |
|
著者:
|
Veith, Helmut. |