|
ISBN:
|
2004046612 价格： |
|
附注:
|
xiv, 608 p. : |
|
由:
|
Lecture notes in computer science, 继承. |
|
著者:
|
Jensen, K. |
|
著者:
|
Podelski, Andreas. |
|
主要团体责任者:
|
European Conferences on Theory and Practice of Software |