SKU 9783319340951Publishing Ref 9783319340951
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer
SKU 9783319340951Publishing Ref 9783319340951
Author:Bernardo, Marco
Date of Publication: 2016
Book classification:Computer & Technology,English Books
No. of pages:272 Pages
Format:Paperback