"Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Desing of Computer, Communication and Software Systems, SFM 2010 Bertinoro, Italy, June 21-26, 2010 :advanced lectures" - читать интересную книгу автора (Alessandro Aldini; et al )