Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems / Lecture Notes in Computer Science Bd.9700
54.99 €