ISBN:
2003045462 价格:
附注:
xii, 440 p. : 
由:
Includes bibliographical references and author index.  继承.
由:
Lecture notes in computer science ;  继承.
著者:
Gordon, Andrew D.
主要团体责任者:
ETAPS 2003