|
ISBN:
|
2001049290 价格： |
|
附注:
|
vi, 429 p. : |
|
由:
|
Lecture notes in computer science ; 继承. |
|
著者:
|
Brinksma, Ed. |
|
著者:
|
Hermanns, Holger, |
|
著者:
|
Katoen, Joost-Pieter. |