Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Editat de Marco Bernardo et al.
12 iun 2016
Paperback
Preț: 321.83 lei 402.28 lei
6-8 săpt.
-20%