附注:
viii, 330 p. :
由:
Lecture notes in computer science ;
继承.
著者:
Cortesi, Agostino,