
* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Formal Methods for Performance Evaluation(English, Electronic book text, Bernardo Marco) is written by Bernardo Marco and published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG. It's available with International Standard Book Number or ISBN identification 3540725229 (ISBN 10) and 9783540725220 (ISBN 13).