附注:
x, 214 p. : 
由:
Lecture notes in computer science,  继承.
著者:
Falsafi, Babak.
著者:
Vijaykumar, T. N.,