ISBN:	2002021217 价格：
附注:	xiii, 482 p. :
由:	Lecture notes in computer science, 继承.
著者:	Katoen, Joost-Pieter.
著者:	Stevens, Perdita.