|
ISBN:
|
2007935177 价格： |
|
附注:
|
xvi, 538 p. : |
|
由:
|
LNCS sublibrary. 继承. |
|
著者:
|
Bjorner, D. |
|
著者:
|
Chaochen, Zhou. |
|
著者:
|
Jones, C. B. |
|
著者:
|
Liu, Zhiming, |
|
著者:
|
Woodcock, Jim. |